https://github.com/se-buw/fm-playground
A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra
https://github.com/se-buw/fm-playground
alloy alloy-analyzer formal-methods limboole nuxmv sat-solver smt-solver smt2 smv spectra spectra-synthesizer syntech z3
Last synced: about 2 months ago
JSON representation
A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra
- Host: GitHub
- URL: https://github.com/se-buw/fm-playground
- Owner: se-buw
- License: mit
- Created: 2023-08-31T11:45:25.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2024-10-21T11:54:53.000Z (6 months ago)
- Last Synced: 2024-10-21T11:55:12.591Z (6 months ago)
- Topics: alloy, alloy-analyzer, formal-methods, limboole, nuxmv, sat-solver, smt-solver, smt2, smv, spectra, spectra-synthesizer, syntech, z3
- Language: TypeScript
- Homepage: https://play.formal-methods.net/
- Size: 103 MB
- Stars: 6
- Watchers: 2
- Forks: 2
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- License: LICENSE