Published August 22, 2024
| Version 1.9.0
Software
Open
moves-rwth/storm: v1.9.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
- SPranger
- Tom Janson
- Johannes Lehmann
- Jan Karuc
- looomis
- Sascha Vincent Kurowski7
- SvStein
- Florent Delgrange8
- Josh Jeppson9
- Marckvdv
- spacefrogg
- Linus
- Arash Partow10
- steffi4321
- Tobias Winkler
- Enno Ruijters11
- 1. @moves-rwth
- 2. Radboud University
- 3. Eindhoven University of Technology
- 4. RWTH Aachen University
- 5. Saarland University
- 6. Ex TU Dresden, Germany
- 7. Amazon Europe (@amzn)
- 8. AI Lab, Vrije Universiteit Brussel
- 9. @fluentverification
- 10. ἑ
- 11. BetterBe
Description
- Improved expected visiting times (EVTs) and steady state distribution computations.
- Support for interval-based models.
- Robust VI.
- Significantly improved compilation times.
- Support for logarithm expressions in PRISM and JANI.
- Support for sin and cos operators, and PI and Euler constants in JANI parser.
- Extraction of schedulers for minimal expected total rewards.
- More efficient MEC and SCC decompositions.
- Revised LP encoding for multi-objective verification under simple strategies.
- Added CLI option
--permuteto re-order the states after building. - Added CLI option
--build:state limit <number>to limit the number of explored states. - Print all linked libraries when using
--version. - Removed support for HyPro and Cuda.
- Moved gamebased-ar to own library.
- Various bug fixes.
storm-conv: Removed option--stdout.storm-dft: Fixes and improvements for DFT symmetries and DFT simulation.storm-pars: Completely reworked the command-line interface (and partially the C++ API).storm-pars: "Time travelling" optimization.storm-pgcl: Removed the library.- Developer: Require at least CMake version 3.15.
- Developer: Moved
storm-config.h.inintosrcdirectory. - Developer: Use various Dockerfiles in CI.
- Developer: Revised includes and use pre-compiled headers.
- Developer: Fixed various compiler warnings.
Files
moves-rwth/storm-1.9.0.zip
Files
(9.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:27c38524115a49dec482a60b4f7441f5
|
9.9 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/moves-rwth/storm/tree/1.9.0 (URL)