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.2 KiB
1.2 KiB
Storm
For more instructions, check out the documentation found in Getting Started
Benchmarks
Some examples can be found in the example folder: Further example input files for storm 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/ - MRMC style tra files:
(private, contact: dehnert@cs.rwth-aachen.d) - 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
- Thomas Heinemann
- Thomas Henn
- Tom Janson
- Gereon Kremer
- Manuel Sascha Weiand
- Lukas Westhofen