A modern model checker for probabilistic systems.
Its C++17 core focuses on time and memory efficiency.
Solver interfaces make it easy to integrate new solvers.
Treat your domain specific models without translating them.
Enjoy access to the efficient core with the ease of python.
The SAFEST tool for modeling and analysing static and dynamic fault trees has been released. SAFEST is based on the Storm model checker.
We are happy to announce the next stable releases of Storm and stormpy in version 1.7.0.