https://github.com/goens/lean-murphi

An embedding of the Murphi model checking language into Lean
https://github.com/goens/lean-murphi

lean4 model-checking murphi

Last synced: 9 months ago
JSON representation

An embedding of the Murphi model checking language into Lean

• Host: GitHub
• URL: https://github.com/goens/lean-murphi
• Owner: goens
• Created: 2022-11-29T11:48:17.000Z (about 3 years ago)
• Default Branch: main
• Last Pushed: 2024-06-15T07:08:45.000Z (over 1 year ago)
• Last Synced: 2025-05-10T13:50:19.046Z (9 months ago)
• Topics: lean4, model-checking, murphi
• Language: Lean
• Homepage:
• Size: 26.4 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# lean-murphi

An embedding of the Murphi model checking language into Lean

Currently this is only a syntactic embedding