Videos of Storm tutorial
18 June 2020

The videos of our Storm tutorial are available as videos.

Read more
Storm tutorial at DisCoTec 2020
15 June 2020

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

Read more
New version 1.6.0
08 June 2020

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

Read more
New version 1.5.0
12 March 2020

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

Read more
EAPLS PhD Dissertation Award 2018
12 December 2019

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.

Read more
New version 1.4.0
15 November 2019

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

Read more
Storm participated in QComp 2019
11 April 2019
New version 1.3.0
15 December 2018

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

Read more
New version 1.2.0
12 December 2017

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

Read more
New version 1.1.0
10 August 2017

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.

Read more
Storm at CAV 2017
12 April 2017

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

Read more
New version 1.0.0
11 March 2017

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

Read more
Homebrew formula
07 February 2017

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

Read more
Storm source code released
20 January 2017

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

Read more