se-buw / fm-playground
A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra
☆9Updated this week
Alternatives and similar repositories for fm-playground:
Users that are interested in fm-playground are comparing it to the libraries listed below
- A model-based API Fuzzer for SMT Solvers.☆13Updated last week
- Intrepyd Model Checker☆18Updated 3 years ago
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆20Updated 3 years ago
- ☆16Updated 8 months ago
- ☆11Updated 7 years ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆23Updated last year
- GPU model checker☆11Updated 5 years ago
- program synthesis is possible☆41Updated 5 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆62Updated 2 weeks ago
- SAT-based LTLf Satisfiability Checker☆8Updated 2 years ago
- ☆13Updated 4 months ago
- A SyGuS Solver☆25Updated 3 weeks ago
- A Flexible and Efficient Proof Checker for SMT Solvers☆19Updated this week
- Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.☆15Updated 8 years ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆92Updated this week
- ☆15Updated last year
- ☆31Updated 2 years ago
- ☆9Updated this week
- AE-solver and Skolemizer☆16Updated 2 months ago
- some my implementation of content in PPA☆18Updated 4 years ago
- Utilities for constructing a large dataset of LLVM IR☆17Updated 6 months ago
- SMTInterpol interpolating SMT solver☆63Updated 2 weeks ago
- Flow graphs for Python☆25Updated 2 years ago
- Isabelle LLVM Code Generator and Refinement☆26Updated this week
- SymDiff-Differential-Program-Verifier☆35Updated 3 weeks ago
- ☆16Updated last year
- ☆14Updated 2 years ago
- ☆13Updated 2 weeks ago
- Frama-C plugins for deadlock and data race detection☆11Updated last month
- ☆14Updated 3 years ago