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

Storm 1.12.0 adds support for verifying interval DTMCs, extends the DRN file format, and adds improvements in multi-objective model checking and verification of parametric Markov models. We refer to the release notes of Storm for all details.

The stormpy Python bindings are also released in a new version 1.12.0 that comes with improved support for interval models, extended support for the JANI interchange format and for Markov automata. We refer to the release notes of stormpy for all details.

You can get the new release of Storm either by building from source, via Homebrew or by using a Docker container. You can obtain the stormpy Python package by simply executing pip install stormpy.

If you experience any bugs, please let us know.