Published March 16, 2020
| Version 1.5.1
Software
Open
moves-rwth/storm: v1.5.1
Creators
- 1. @moves-rwth
- 2. RWTH Aachen University @moves-rwth
- 3. RWTH Aachen University
- 4. Saarland University
- 5. @lancomsystems
- 6. Ex TU Dresden, Germany
- 7. Amazon Europe (@amzn)
- 8. AI Lab, Vrije Universiteit Brussel
- 9. Embedded Software, RWTH Aachen University
- 10. University of Twente
Description
- Jani models are now parsed using exact arithmetic.
Files
moves-rwth/storm-1.5.1.zip
Files
(25.0 MB)
Name | Size | Download all |
---|---|---|
md5:8e6b741d163f9a1bff52ce533bd05da2
|
25.0 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/moves-rwth/storm/tree/1.5.1 (URL)