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.
|
|
Storm ==============================
For more instructions, check out the documentation found in [Getting Started](doc/getting-started.md)
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/* **GSPN**s: (private, contact: sebastian.junges@cs.rwth-aachen.de)* **DFT**s: 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
|
