From 5ca36509018abd9cc450771eaf1f6730385d727e Mon Sep 17 00:00:00 2001 From: sjunges Date: Wed, 16 Nov 2016 21:09:44 +0100 Subject: [PATCH] updated readme Former-commit-id: 3c2d96e466347e7330d6d4b2afd894333e761499 [formerly 95b18915b11881f6a5b9bbe154899c74d24d1950] Former-commit-id: 117b0d861364eccadb8ec1792f544985be214fac --- README.md | 38 ++++++++++++++++++++++++++++++++------ 1 file changed, 32 insertions(+), 6 deletions(-) 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