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.

New features are, among others, long run average computation via value iteration, and improvements for handling parametric Markov chains. We also invested a lot in better error messages! For more information, please check the release notes.

We also updated the Homebrew formula, so users who installed Storm via homebrew are able to update Storm by

$ brew update
$ brew upgrade stormchecker

If you experience any bugs, please let us know.