Published July 29, 2022
| Version 1.7.0
Software
Open
moves-rwth/storm: v1.7.0
Creators
- Christian Hensel
- Tim Quatmann1
- Sebastian Junges2
- Matthias Volk3
- J. Berger4
- jipspel
- Gereon Kremer
- Alex Bork1
- Daniel Basgöze
- David
- Hannah
- Timo P. Gros5
- Joachim Klein6
- sp
- Tom Janson
- Johannes Lehmann
- Jan Karuc
- looomis
- Sascha Vincent Kurowski7
- SvStein
- Florent Delgrange8
- Marckvdv
- spacefrogg
- steffi4321
- Arash Partow
- Dimitri Bohlender9
- Linus
- Enno Ruijters10
- 1. @moves-rwth
- 2. Radboud University
- 3. University of Twente, previously @moves-rwth
- 4. RWTH Aachen University
- 5. Saarland University
- 6. Ex TU Dresden, Germany
- 7. Amazon Europe (@amzn)
- 8. AI Lab, Vrije Universiteit Brussel
- 9. INFORM, Institut für Operations Research und Management GmbH
- 10. BetterBe
Description
- 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 amulti(...)
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 namespacestorm::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
moves-rwth/storm-1.7.0.zip
Files
(14.6 MB)
Name | Size | Download all |
---|---|---|
md5:b1520b42bd9b14b2e84b9c87a1d49803
|
14.6 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/moves-rwth/storm/tree/1.7.0 (URL)