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