Domino

Analysis and verification of real-world cryptographic protocols
Is freely licensed? ✅
Website https://github.com/domino-lang/domino
Source https://github.com/domino-lang/domino
NLNet grant pages