GitHub topics: murphi
goens/lean-murphi
An embedding of the Murphi model checking language into Lean
Language: Lean - Size: 26.4 KB - Last synced at: 2 days ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
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
Language: MATLAB - Size: 285 KB - Last synced at: 20 days ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0
hcyang99/eecs570p2
Murphi code of MESI w/ Self-degradation & support for arbitrary network reordering.
Language: Objective-C - Size: 25.4 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 1
uncttao/8queen-murphi
Solution to the 8-queen problem in Murphi
Language: Matlab - Size: 1.95 KB - Last synced at: almost 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
