From a83af55c6457c47af091635d949fbe8acd108bdf Mon Sep 17 00:00:00 2001 From: sjunges Date: Wed, 16 Nov 2016 20:54:16 +0100 Subject: [PATCH] Add benchmark info to readme Former-commit-id: 41a49d17fbc86bd02dff1b82e2c62322e2c9e71b [formerly 4fc35283a4d8a0b97f42ebbbce6fbd16c3742712] Former-commit-id: 212fe1bbc8a7124892455f7cfc833aea6282182c --- README.md | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/README.md b/README.md index 4a76de895..456b1589f 100644 --- a/README.md +++ b/README.md @@ -1 +1,24 @@ +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) +* 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)