You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
1.3 KiB
1.3 KiB
Storm
For more instructions, check out the documentation found in Getting Started
Benchmarks
Example input files for storm can be obtained from
https://github.com/moves-rwth/storm-examples.
Running make example-files automatically obtains these files.
Further examples and benchmarks 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: sebastian.junges@cs.rwth-aachen.de) - DFTs:
https://github.com/moves-rwth/dft-examples - PGCL:
(private, contact: sebastian.junges@cs.rwth-aachen.de)
Authors
Storm has been developed at RWTH Aachen University.
Principal developers
- Christian Dehnert
- Joost-Pieter Katoen
- Sebastian Junges
- Matthias Volk
Developers (lexicographical order)
- Philipp Berger
- David Korzeniewski
- Tim Quatmann
Contributors (lexicographical order)
- Dimitri Bohlender
- Harold Bruintjes
- Michael Deutschen
- Thomas Heinemann
- Thomas Henn
- Tom Janson
- Gereon Kremer
- Sascha Vincent Kurowski
- Manuel Sascha Weiand
- Lukas Westhofen