GitHub topics: limboole
se-buw/fm-playground
A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra
Language: TypeScript - Size: 103 MB - Last synced at: about 9 hours ago - Pushed at: about 9 hours ago - Stars: 11 - Forks: 3
soaibsafi/limboole-vscode
Visual Studio Code extension for Limboole
Language: TypeScript - Size: 15.9 MB - Last synced at: about 2 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
fm4se/exercises
All the exersice from Formal Methods for Software Engineering course @ Bauhaus University Weimar
Size: 14.6 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
salarkalan/Specs-Analysis
Analysis of Formal Specifications SAT, SMT, Alloy, NuSMV.
Language: Java - Size: 29.7 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
skloibi/boole2aiger
A simple tool that converts Boole files to their corresponding AIGER counterparts
Language: Scala - Size: 4.88 KB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0
