se-buw / fm-playground Star 6 Code Issues Pull requests Discussions A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra z3 formal-methods alloy sat-solver spectra smt2 smt-solver smv nuxmv alloy-analyzer limboole spectra-synthesizer syntech Updated Oct 18, 2024 TypeScript
skloibi / boole2aiger Star 1 Code Issues Pull requests A simple tool that converts Boole files to their corresponding AIGER counterparts parser-combinators aiger limboole Updated Feb 9, 2019 Scala
salarkalan / Specs-Analysis Star 0 Code Issues Pull requests Analysis of Formal Specifications SAT, SMT, Alloy, NuSMV. alloy sat-solver smt2 smt-solver nusmv z3-smt-solver limboole nusmv-model-checker Updated Jul 3, 2024 Java
soaibsafi / limboole-xtext-ls Star 0 Code Issues Pull requests Xtext Language Server (LSP) for Limboole language-server language-server-protocol xtext xtext-grammar limboole Updated Oct 3, 2024 Java
soaibsafi / limboole-vscode Star 0 Code Issues Pull requests Visual Studio Code extension for Limboole sat-solver propositional-logic boolean-logic limboole Updated Oct 6, 2024 TypeScript
fm4se / exercises Star 0 Code Issues Pull requests All the exersice from Formal Methods for Software Engineering course @ Bauhaus University Weimar formal-methods alloy smt nuxmv limboole Updated Sep 5, 2024