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

Storm 1.13.0 adds (among others) support for the (binary) UMB format, support for bounded model checking of interval DTMC/MDP and support for monitor verification. We refer to the release notes of Storm for a complete list of all changes.

The stormpy Python bindings are also released in a new version 1.13.0 that comes with support for exact intervals, support for monitor verification and conditional model checking.. 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 the pre-built binaries from Homebrew, via the pre-built Debian packages attached to the release 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.