anmavrid / DesignBIP
☆11Updated 7 years ago
Alternatives and similar repositories for DesignBIP:
Users that are interested in DesignBIP are comparing it to the libraries listed below
- Modbat is a model-based API tester for stateful systems.☆23Updated last year
- A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra☆11Updated 2 weeks ago
- SMTInterpol interpolating SMT solver☆66Updated last week
- Specify and synthesize systems using symbolic algorithms☆48Updated 5 months ago
- The LTSmin model checking toolset☆59Updated 5 months ago
- A Python model checking package☆65Updated 7 months ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆94Updated last week
- JKind - An infinite-state model checker for safety properties in Lustre☆53Updated 3 months ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆35Updated last year
- Language bindings for Maude☆21Updated 3 months ago
- AE-solver and Skolemizer☆17Updated 4 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 6 months ago
- A Formal Semantics of WebAssembly in K☆80Updated this week
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆46Updated 2 years ago
- TriCera: a model checker for C programs☆24Updated last month
- A JavaScript wrapper for Z3 containing support for regular expressions & capture groups☆22Updated 9 months ago
- SymDiff-Differential-Program-Verifier☆34Updated last month
- A multi-formalism, multi-solution model-checker centered on the language GAL☆24Updated this week
- The Termination Problem Database☆29Updated 3 months ago
- DARPA CASE program☆13Updated 2 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆50Updated 5 years ago
- ☆15Updated 3 years ago
- Exercises for the Dafny Tutorial☆11Updated 6 years ago
- Intrepyd Model Checker☆18Updated 3 years ago
- A model checker for infinite-state systems.☆74Updated 4 months ago
- Kodkod solver for relational logic☆74Updated last year
- The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. I…☆15Updated 12 years ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Updated 5 months ago
- The main development version of the PRISM model checker.☆170Updated last month