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.
We are happy to announce the next stable releases of Storm and stormpy in version 1.8.0.