Software Open Access

moves-rwth/storm: v1.7.0

Christian Hensel; Tim Quatmann; Sebastian Junges; Matthias Volk; J. Berger; jipspel; Gereon Kremer; Alex Bork; Daniel Basgöze; David; Hannah; Timo P. Gros; Joachim Klein; sp; Tom Janson; Johannes Lehmann; Jan Karuc; looomis; Sascha Vincent Kurowski; SvStein; Florent Delgrange; Marckvdv; spacefrogg; steffi4321; Arash Partow; Dimitri Bohlender; Linus; Enno Ruijters

  • Fixed a bug in LP-based MDP model checking.
  • DRN Parser is now more robust, e.g., it does no longer depend on tabs.
  • PRISM Parser: Modulo with negative numbers is now consistent with Prism.
  • Added lexicographic multi-objective model checking. Use --lex in the command line interface when specifying a multi(...) property.
  • Fix handling duplicate entries in the sparse matrix builder.
  • Added support for step-bounded until formulas in LTL.
  • Added Dockerfile.
  • API: Applying a fully defined deterministic memoryless scheduler to an MDP yields a DTMC.
  • storm-dft: Use dedicated namespace storm::dft.
  • storm-dft: Added support (parsing, export, BDD analysis) for additional BE failure distributions (Erlang, log-normal, Weibull, constant probability).
  • storm-dft: Added instantiator for parametric DFT.
  • Developer: Storm is now built in C++17 mode.
  • Developer: Added support for automatic code formatting for storm-dft.
Files (14.6 MB)
Name Size
14.6 MB Download
All versions This version
Views 2958
Downloads 1600
Data volume 2.1 GB0 Bytes
Unique views 2258
Unique downloads 860


Cite as