We are happy to announce the next releases of Storm and stormpy in version 1.9.0.
We are happy to announce the next stable releases of Storm and stormpy in version 1.8.0.
The SAFEST tool for modeling and analysing static and dynamic fault trees has been released. SAFEST is based on the Storm model checker.