Published May 27, 2025 | Version 1.10.0
Software Open

moves-rwth/storm: v1.10.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

  • Improved LpMinMaxLinearEquationSolver, set relevant values in topological solvers.
  • Speed up of MEC decomposition by adjusting loops.
  • Minor improvements for steady-state properties.
  • Improved access to state valuations.
  • Improved parsing: detect and handle integer overflows in expression parsing, and handle irrational probability expressions.
  • Limit Sylvan threads to 1 on Apple Silicon.
  • Bug fixes in computation of cumulative rewards, transient variables in JANI, SMGs with non-synchronizing but labeled actions, in SparseCbAchievabilityQuery and PcaaWeightVectorChecker.
  • Updated shipped dependencies: Eigen, ExprTk, Spot.
  • storm-dft: Set BDD variable ordering for SFT from file.
  • storm-dft: Warning on potential modeling issues.
  • storm-dft: Bug fixes in DFT representant computation and failable elements.
  • storm-pars: Bug fixes in monotonicity computation.
  • storm-pomdp: Added cut-off memory node information.
  • storm-pomdp: Extended handling of terminal states.
  • storm-pomdp: Improved output.
  • Developer: Require at least CMake version 3.22.
  • Developer: Revised includes.
  • Developer: GLPK is optional.
  • Developer: BitVector conforms to std::ranges::range concept.
  • Developer: Improved CI tests and added builds on macOS.

Files

moves-rwth/storm-1.10.0.zip

Files (9.9 MB)

Name Size Download all
md5:90c30b20b27c01a9f82b7dbfcbac8de5
9.9 MB Preview Download

Additional details

Related works

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

Software

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