Storm 
==============================

For more instructions, check out the documentation found in [Getting Started](doc/getting-started.md)


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)
* **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
* Thomas Heinemann
* Thomas Henn
* Tom Janson
* Gereon Kremer
* Manuel Sascha Weiand
* Lukas Westhofen