prismmodelchecker / prism
The main development version of the PRISM model checker.
☆166Updated 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☆144Updated this week
- The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.☆23Updated last month
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆92Updated this week
- The LTSmin model checking toolset☆57Updated 3 months ago
- Specify and synthesize systems using symbolic algorithms☆47Updated 3 months ago
- Python Bindings for the Probabilistic Model Checker Storm☆32Updated this week
- A model checker for infinite-state systems.☆70Updated 2 months ago
- Automated Reasoning in Nonlinear Theories of Reals☆160Updated 8 months ago
- JKind - An infinite-state model checker for safety properties in Lustre☆53Updated last month
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- ☆22Updated this week
- Approximate Model Counter☆73Updated 7 months ago
- Implementation of multi-core (binary) decision diagrams☆71Updated 8 months ago
- TChecker is an open-source verification tool for timed automata☆21Updated 8 months ago
- The opensmt solver☆79Updated this week
- SAT Solver SATCH☆114Updated 2 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆42Updated last year
- The DRAT-trim proof checker☆54Updated 2 months ago
- A Python script to create cactus and scatter plots based on matplotlib☆23Updated 3 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆68Updated this week
- A Python model checking package☆64Updated 5 months ago
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆191Updated 2 months ago
- The Yices SMT Solver☆387Updated last month
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆88Updated 3 months ago
- SMTInterpol interpolating SMT solver☆63Updated 2 weeks ago
- The Ultimate program analysis framework.☆208Updated this week
- ☆52Updated this week
- Hanoi Omega-Automata Format☆15Updated 2 years ago
- Links to tools by subject☆373Updated 11 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 4 months ago