prismmodelchecker / prism
The main development version of the PRISM model checker.
☆167Updated 2 weeks ago
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☆145Updated this week
- The LTSmin model checking toolset☆57Updated 4 months ago
- SMTInterpol interpolating SMT solver☆63Updated last month
- A model checker for infinite-state systems.☆74Updated 3 months ago
- SAT Solver SATCH☆113Updated 2 years ago
- The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.☆23Updated 2 months ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- A Python script to create cactus and scatter plots based on matplotlib☆24Updated 4 years ago
- The opensmt solver☆82Updated this week
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆78Updated last year
- Approximate Model Counter☆74Updated last week
- Specify and synthesize systems using symbolic algorithms☆45Updated 4 months ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆92Updated 3 weeks ago
- Library for symbolic automata and symbolic visibly pushdown automata☆67Updated last month
- JKind - An infinite-state model checker for safety properties in Lustre☆53Updated 2 months ago
- Python Bindings for the Probabilistic Model Checker Storm☆33Updated this week
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆28Updated last month
- A multi-formalism, multi-solution model-checker centered on the language GAL☆23Updated last month
- The DRAT-trim proof checker☆55Updated 4 months ago
- Generates loop invariants for program verification☆62Updated 4 years ago
- The Ultimate program analysis framework.☆211Updated this week
- The Yices SMT Solver☆393Updated 2 months ago
- Implementation of multi-core (binary) decision diagrams☆71Updated 9 months ago
- StarExec is a cross community logic solving service☆17Updated 9 months ago
- EPMC: An Extendible Probabilistic Model Checker☆17Updated 2 months ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆53Updated 11 months ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆41Updated 3 years ago
- Hanoi Omega-Automata Format☆15Updated 2 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆42Updated last year
- ☆19Updated 2 years ago