Published September 8, 2025 | Version 1.11.0
Software Open

moves-rwth/storm: v1.11.0

Creators

  • 1. @moves-rwth
  • 2. Eindhoven University of Technology
  • 3. Radboud University
  • 4. RWTH Aachen University
  • 5. German Research Center for Artificial Intelligence (DFKI)
  • 6. Ex TU Dresden, Germany
  • 7. Amazon Europe (@amzn)
  • 8. AI Lab, Vrije Universiteit Brussel
  • 9. @fluentverification
  • 10. ἑ

Description

  • Completely restructured CMake build process:
    • Storm can now be properly installed.
    • Carl-storm is now automatically fetched from a predefined repository and tag. Use CMake option -DFETCHCONTENT_SOURCE_DIR_CARL=<path_to_carl> to set a local path.
  • Improved support for interval models, especially parsing support for Prism models with intervals and CLI support for interval models.
  • Support for discounted properties in DTMCs and MDPs.
  • Added guessing value iteration.
  • Support exporting schedulers for multi-objective properties.
  • Revised implementation of conditional probabilities for MDPs.
  • Added building of choice labels for Jani.
  • Support time limits for the Gurobi LP Solver.
  • Various fixes in DRN parser, BitVector, (negative) expected rewards, parsing of PDEP and for compiler warnings.
  • Updated dependencies: carl-storm, gmm, googletest, l3pp, spot.
  • Removed support for Intel TBB.
  • Developer: Replaced GmmxxMultiplier by ViOperatorMultiplier.
  • Developer: Added CI workflow for new releases.

Files

moves-rwth/storm-1.11.0.zip

Files (6.7 MB)

Name Size Download all
md5:d8ec7712eb9ad1a1c2295483c08c0c50
6.7 MB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/moves-rwth/storm/tree/1.11.0 (URL)

Software

Repository URL
https://github.com/moves-rwth/storm