moves-rwth / storm
A Modern Probabilistic Model Checker
☆137Updated this week
Related projects ⓘ
Alternatives and complementary repositories for storm
- The main development version of the PRISM model checker.☆156Updated last month
- Python Bindings for the Probabilistic Model Checker Storm☆30Updated this week
- SMTInterpol interpolating SMT solver☆61Updated 4 months ago
- The LTSmin model checking toolset☆53Updated 3 weeks ago
- ☆22Updated this week
- Specify and synthesize systems using symbolic algorithms☆46Updated 3 weeks ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆22Updated 4 months ago
- JKind - An infinite-state model checker for safety properties in Lustre☆52Updated 3 weeks ago
- A Python script to create cactus and scatter plots based on matplotlib☆23Updated 3 years ago
- ELINA: ETH LIbrary for Numerical Analysis☆128Updated last year
- The VerCors verification toolset for verifying parallel and concurrent software☆56Updated this week
- ☆52Updated 2 months ago
- Automated Reasoning in Nonlinear Theories of Reals☆153Updated 5 months ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆86Updated this week
- A model checker for infinite-state systems.☆69Updated 3 years ago
- Implementation of multi-core (binary) decision diagrams☆67Updated 5 months ago
- Deductive verification infrastructure for probabilistic programs☆15Updated this week
- A Python model checking package☆64Updated 2 months ago
- Collection of Verification Tasks (MOVED, please follow the link)☆184Updated 3 years ago
- The Yices SMT Solver☆374Updated this week
- The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…☆10Updated last week
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆48Updated 3 years ago
- TriCera: a model checker for C programs☆18Updated last week
- The opensmt solver☆78Updated this week
- Links to tools by subject☆372Updated 8 months ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆40Updated 3 years ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆73Updated last year
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆49Updated this week
- MonoSAT - An SMT solver for Monotonic Theories☆107Updated last year
- Definition of the Viper intermediate verification language.☆79Updated this week