diff --git a/README.md b/README.md index 456b1589f..85e5ea8c9 100644 --- a/README.md +++ b/README.md @@ -10,15 +10,41 @@ 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): +* **Prism files** (DTMC, MDP, CTMC): http://www.prismmodelchecker.org/benchmarks/ -* Jani files (DTMC, MDP, CTMC, MA): +* **Jani files** (DTMC, MDP, CTMC, MA): http://jani-spec.org/ -* MRMC style tra files: +* MRMC style **tra** files: (private, contact: dehnert@cs.rwth-aachen.d) -* GSPNs: +* **GSPN**s: (private, contact: sebastian.junges@cs.rwth-aachen.de) -* DFTs: +* **DFT**s: https://github.com/moves-rwth/dft-examples -* PGCL: +* **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