Projects in Awesome Lists tagged with murphi
A curated list of projects in awesome lists tagged with murphi .
https://github.com/lmriccardo/needham-schroeder-verification
Project for the Formal Methods In Software Development course at the University of "La Sapienza" in Master in Computer Science A.A. 2021/2022
cryptography murphi needham-schroeder nusmv-model-checker spin verification
Last synced: 23 Aug 2025
https://github.com/goens/lean-murphi
An embedding of the Murphi model checking language into Lean
Last synced: 14 May 2025
