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)