A Modern Probabilistic Model Checker
Clone or download
Latest commit 208ee76 Nov 14, 2018


Storm - A Modern Probabilistic Model Checker

Build Status

For more instructions, check out the documentation found in Getting Started.


Example input files for Storm can be obtained from

Further examples and benchmarks can be found in the following repositories:


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