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.

50 lines
1.2 KiB

  1. Storm
  2. ==============================
  3. For more instructions, check out the documentation found in [Getting Started](doc/getting-started.md)
  4. Benchmarks
  5. ----------------------------
  6. Some examples can be found in the example folder:
  7. Further example input files for storm can be found in the following repositories:
  8. * **Prism files** (DTMC, MDP, CTMC):
  9. http://www.prismmodelchecker.org/benchmarks/
  10. * **Jani files** (DTMC, MDP, CTMC, MA):
  11. http://jani-spec.org/
  12. * MRMC style **tra** files:
  13. (private, contact: dehnert@cs.rwth-aachen.d)
  14. * **GSPN**s:
  15. (private, contact: sebastian.junges@cs.rwth-aachen.de)
  16. * **DFT**s:
  17. https://github.com/moves-rwth/dft-examples
  18. * **PGCL**:
  19. (private, contact: sebastian.junges@cs.rwth-aachen.de)
  20. Authors
  21. -----------------------------
  22. Storm has been developed at RWTH Aachen University
  23. ###### Principal developers
  24. * Christian Dehnert
  25. * Joost-Pieter Katoen
  26. * Sebastian Junges
  27. * Matthias Volk
  28. ###### Developers (lexicographical order)
  29. * Philipp Berger
  30. * David Korzeniewski
  31. * Tim Quatmann
  32. ###### Contributors (lexicographical order)
  33. * Dimitri Bohlender
  34. * Harold Bruintjes
  35. * Thomas Heinemann
  36. * Thomas Henn
  37. * Tom Janson
  38. * Gereon Kremer
  39. * Manuel Sascha Weiand
  40. * Lukas Westhofen