A modern model checker for probabilistic systems.
Its C++14 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.
Storm successfully participated in the second edition of the Comparison of Tools for the Analysis of Quantitative Formal Models (QComp 2020). The competition report is available here.