Storm - A Modern Probabilistic Model Checker ============================================ [![Build Status](https://travis-ci.org/moves-rwth/storm.svg?branch=master)](https://travis-ci.org/moves-rwth/storm) For more instructions, check out the documentation found in [Getting Started](http://www.stormchecker.org/getting-started.html). Benchmarks ---------------------------- Example input files for Storm can be obtained from https://github.com/moves-rwth/storm-examples. Various Benchmarks together with example invocations of Storm can be found at the [Quantitative Verification Benchmark Set (QVBS)](http://qcomp.org/benchmarks). Further examples and benchmarks 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 * **GSPN**s: (private, contact: sebastian.junges@cs.rwth-aachen.de) * **DFT**s: 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 Hensel * Sebastian Junges * Joost-Pieter Katoen * Tim Quatmann * Matthias Volk ###### Developers (lexicographical order) * Philipp Berger * David Korzeniewski ###### Contributors (lexicographical order) * Dimitri Bohlender * Harold Bruintjes * Michael Deutschen * Thomas Heinemann * Thomas Henn * Tom Janson * Gereon Kremer * Sascha Vincent Kurowski * Manuel Sascha Weiand * Lukas Westhofen