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.
We are happy to announce the next stable release of Storm in version 1.3.0.
We are happy to announce the next stable release of Storm in version 1.2.0.
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.