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.
sjunges
5ca3650901
|
8 years ago | |
|---|---|---|
| cuda | 10 years ago | |
| doc | 8 years ago | |
| examples | 8 years ago | |
| resources | 8 years ago | |
| src | 8 years ago | |
| stormpy | 9 years ago | |
| test | 8 years ago | |
| util | 8 years ago | |
| .gitignore | 8 years ago | |
| .gitmodules | 11 years ago | |
| CMakeLists.txt | 8 years ago | |
| LICENSE | 13 years ago | |
| README.md | 8 years ago | |
| StormCPackConfig.cmake | 11 years ago | |
| install.sh | 9 years ago | |
| storm-config.h.in | 8 years ago | |
| storm-version.cpp.in | 8 years ago | |
README.md
Storm
For more instructions, check out the documentation found in Getting Started
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)
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