Storm - A Modern Probabilistic Model Checker

For installation and usage instructions, check out the documentation found in Getting Started.

Various benchmarks together with example invocations of Storm can be found at the Quantitative Verification Benchmark Set (QVBS). Additional input files for Storm can be obtained from https://github.com/moves-rwth/storm-examples.

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)

• Jana Berger
• Alexander Bork
• David Korzeniewski
• Jip Spel

Contributors (lexicographical order)

• Daniel Basgöze
• Dimitri Bohlender
• Harold Bruintjes
• Michael Deutschen
• Linus Heck
• Thomas Heinemann
• Thomas Henn
• Tom Janson
• Jan Karuc
• Joachim Klein
• Gereon Kremer
• Sascha Vincent Kurowski
• Hannah Mertens
• Stefanie Mohr
• Stefan Pranger
• Svenja Stein
• Manuel Sascha Weiand
• Lukas Westhofen