We are happy to announce the next releases of Storm and stormpy in version 1.9.0.

We are happy to announce the next stable releases of Storm and stormpy in version 1.8.0.

The SAFEST tool for modeling and analysing static and dynamic fault trees has been released. SAFEST is based on the Storm model checker.

Storm has recently been featured in a tutorial on probabilistic verification at UAI 2022.

We are happy to announce the next stable releases of Storm and stormpy in version 1.7.0.

We celebrate the 10th anniversary of Storm.

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.

The newspaper Aachener Nachrichten published the article Storm findet sicherheitskritische Softwarefehler.

The Storm model checker has received the second place at the RWTH Innovation Award 2020. The annual awards honours ideas and technologies developed by researchers and inventors at RWTH Aachen University.

The videos of our Storm tutorial are available as videos.

We are giving an (online) tutorial on Storm at DisCoTec 2020.

We are happy to announce the next stable releases of Storm and stormpy in version 1.6.0.

We are happy to announce the next stable release of Storm in version 1.5.0.

We are excited to announce that Christian Hensel has won the EAPLS (European Association of Programming Language and Systems) PhD Dissertation Award 2018. His dissertation on “The Probabilistic Model Checker Storm” has been selected by an international jury among all nominated dissertations.

We are happy to announce the next stable release of Storm in version 1.4.0.

Storm participated in the first edition of the Comparison of Tools for the Analysis of Quantitative Formal Models (QComp 2019) as part of the TACAS TOOLympics.

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.

We are delighted that a tool-paper describing Storm has been accepted for presentation at Computer Aided Verification 2017 in Heidelberg, Germany.

As Storm is becoming more stable, we decided to take a leap and move Storm’s version to 1.0.0.

To ease the installation of Storm, we now provide a Homebrew formula.

We proudly announce the release of the source code on GitHub.