paultristanwagner / model-checkingLinks
Command line tool for model checking using LTL, CTL and CTL* formulas
☆14Updated 6 months ago
Alternatives and similar repositories for model-checking
Users that are interested in model-checking are comparing it to the libraries listed below
Sorting:
- Binary analysis in HOL☆40Updated 2 months ago
- A model-based API Fuzzer for SMT Solvers.☆14Updated last month
- Documentation☆43Updated 3 weeks ago
- ☆17Updated last year
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search…☆17Updated this week
- A fast and certifying solver for quantified Boolean formulas.☆27Updated last month
- A Flexible and Efficient Proof Checker for SMT Solvers☆25Updated this week
- ☆10Updated 4 years ago
- CNF minimizer and minimal independent set minimizer☆19Updated this week
- Verified, Incremental, Binary Editing with Synthesis☆52Updated 2 years ago
- SMTInterpol interpolating SMT solver☆66Updated 3 weeks ago
- Efficient Sampling of SAT Solutions for Testing☆35Updated 5 years ago
- TriCera: a model checker for C programs☆25Updated this week
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated last week
- Semantic model for aspects of ELF static linking and DWARF debug information☆44Updated 5 months ago
- Fuzz testing for Dafny☆13Updated 2 years ago
- ☆19Updated 8 years ago
- Static Analyzer and Verifier☆47Updated 7 months ago
- ☆12Updated last year
- ☆19Updated 2 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆51Updated 5 years ago
- Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…☆18Updated this week
- DAI: Demanded Abstract Interpretation☆16Updated 8 months ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆76Updated last week
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆33Updated 4 months ago
- ☆10Updated 4 years ago
- Frama-C plugins for deadlock and data race detection☆12Updated last month
- Isabelle LLVM Code Generator and Refinement☆28Updated 2 months ago