GitHub topics: syntech
se-buw/fm-playground
A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra
Language: TypeScript - Size: 103 MB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 11 - Forks: 3
A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra
Language: TypeScript - Size: 103 MB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 11 - Forks: 3