Published October 2, 2025
| Version 1.11.1
Software
Open
moves-rwth/storm: v1.11.1
Creators
- Christian Hensel
- Tim Quatmann1
- Matthias Volk2
- Sebastian Junges3
- 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
- Linus
- Sascha Vincent Kurowski7
- SvStein
- Florent Delgrange8
- Josh Jeppson9
- Marckvdv
- Arash Partow10
- spacefrogg
- Tobias Winkler
- steffi4321
- luko van der maas
- 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
- Bug fixes in conditional probabilities computation with the (recent) bisection method.
- Sound value iteration diagnostics in debug mode are more robust.
- Improved support for ARM.
- Support for musl libc.
- Code quality fixes (reduced warnings)
Files
moves-rwth/storm-1.11.1.zip
Files
(6.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:c2e61e2d1455a11178bb0941a7a25bd8
|
6.7 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/moves-rwth/storm/tree/1.11.1 (URL)
Software
- Repository URL
- https://github.com/moves-rwth/storm