We are happy to announce the next stable releases of Storm and stormpy in version 1.7.0.
The new release of Storm is now built in C++17 mode and supports step-bounded until formulas in LTL and lexicographic multi-objective model checking.
In addition, the DRN parser is more robust now.
The DFT analysis in
storm::dft added support for additional BE failure distributions such as Weibull and log-normal.
The Python bindings stormpy are also released in a new version which is compatible with the new Storm release. Stormpy now supports GSPNs, in particular building, parsing and exploring them. In addition, the new release offers bindings for building the transition matrix and state valuations.
If you experience any bugs, please let us know.