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.
As Storm has quite some new features and its dependencies (noticably, carl) moved forward as well, we are happy to announce Storm version 1.1.0.
As Storm is becoming more stable, we decided to take a leap and move Storm’s version to 1.0.0.