prismmodelchecker / prism
The main development version of the PRISM model checker.
☆162Updated this week
Alternatives and similar repositories for prism:
Users that are interested in prism are comparing it to the libraries listed below
- A Modern Probabilistic Model Checker☆142Updated this week
- The LTSmin model checking toolset☆56Updated 2 months ago
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆185Updated last month
- A model checker for infinite-state systems.☆70Updated 3 weeks ago
- A Python model checking package☆64Updated 4 months ago
- The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.☆23Updated this week
- Python Bindings for the Probabilistic Model Checker Storm☆32Updated this week
- Approximate Model Counter☆70Updated 5 months ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆90Updated this week
- SAT Solver SATCH☆113Updated 2 years ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆53Updated last week
- Specify and synthesize systems using symbolic algorithms☆47Updated 2 months ago
- The Yices SMT Solver☆384Updated this week
- Implementation of multi-core (binary) decision diagrams☆70Updated 7 months ago
- SMTInterpol interpolating SMT solver☆61Updated 6 months ago
- MonoSAT - An SMT solver for Monotonic Theories☆109Updated last year
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆74Updated last year
- Multi-core Decision Diagram (BDD/LDD) implementation☆41Updated last year
- The opensmt solver☆78Updated last week
- TChecker is an open-source verification tool for timed automata☆21Updated 7 months ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆23Updated 6 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆65Updated last year
- The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…☆10Updated 2 months ago
- A Python script to create cactus and scatter plots based on matplotlib☆23Updated 3 years ago
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆28Updated last week
- The Chuffed CP solver☆98Updated last month
- The DRAT-trim proof checker☆53Updated last month
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 2 years ago
- TriCera: a model checker for C programs☆22Updated this week