We are happy to announce the next stable release of Storm in version 1.2.0.
New features are, among others, Symbolic (MT/BDD) bisimulation, sound (interval) value iteration and support for multi-objective multi-dimensional reward bounded reachability properties for MDPs. 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.