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

The most notably feature in this release is the portfolio engine (--engine portfolio) which automatically picks goods settings based on the input file. In addition, abort of Storm is now gracefully handled and outputs the result computed so far. Optimistic value iteration for sound computations was added and is now the default algorithm. For detailed information on all the changes, please check the release notes.

You can get the new release of Storm via your preferred installation option:

• building from source,
• via update with Homebrew on macOS:

  $ brew update
  $ brew upgrade stormchecker
  

• or by using a Docker container.

If you experience any bugs, please let us know.