Published June 15, 2023
| Version 1.8.1
Software
Open
moves-rwth/storm: v1.8.1
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
- Josh Jeppson9
- spacefrogg
- Arash Partow
- steffi4321
- Linus
- Enno Ruijters10
- Legoeggolas
- matdeg
- 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. @fluentverification
- 10. BetterBe
Description
Workaround for issue with Boost >= 1.81
Files
moves-rwth/storm-1.8.1.zip
Files
(14.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:351c6253529eb01ee35e0d5426a43549
|
14.7 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/moves-rwth/storm/tree/1.8.1 (URL)