For more instructions, check out the documentation found in Getting Started.
Example input files for Storm can be obtained from
https://github.com/moves-rwth/storm-examples.
Various Benchmarks together with example invocations of Storm can be found at the Quantitative Verification Benchmark Set (QVBS).
Further examples and benchmarks can be found in the following repositories:
- Prism files (DTMC, MDP, CTMC):
http://www.prismmodelchecker.org/benchmarks - Jani files (DTMC, MDP, CTMC, MA):
http://jani-spec.org - GSPNs:
(private, contact: [email protected]) - DFTs:
https://github.com/moves-rwth/dft-examples - PGCL:
(private, contact: [email protected])
Storm has been developed at RWTH Aachen University.
- Christian Hensel
- Sebastian Junges
- Joost-Pieter Katoen
- Tim Quatmann
- Matthias Volk
- Philipp Berger
- David Korzeniewski
- Jip Spel
- Dimitri Bohlender
- Alexander Bork
- Harold Bruintjes
- Michael Deutschen
- Thomas Heinemann
- Thomas Henn
- Tom Janson
- Jan Karuc
- Gereon Kremer
- Sascha Vincent Kurowski
- Manuel Sascha Weiand
- Lukas Westhofen