Storm - A Modern Probabilistic Model Checker
Usage
The Storm website www.stormchecker.org provides documentation and background information.
- For installation and usage instructions, check out the documentation found in Getting Started.
- Video tutorials and interactive code examples are available in Tutorials.
- The Storm starter project provides a starting point for incorporating Storm into C++ projects.
- Storm provides a Python interface called stormpy for easy prototyping and interaction with Storm.
- In case of any issues installing or using Storm, let us know.
Examples
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 the storm-examples repository.
Developers
We welcome contributions to Storm.
Our information for developers contains general information to get started with the development on Storm.
Feel free to contact us in case you need any pointers or help.
Authors
Storm has initially been developed at RWTH Aachen University. It is currently under development at (lexicographically) Eindhoven University of Technology, Radboud University, and RWTH Aachen University.
Principal developers (lexicographical order)
- Christian Hensel
- Sebastian Junges
- Joost-Pieter Katoen
- Tim Quatmann
- Matthias Volk
Active Developers (lexicographical order)
- Alexander Bork
- Linus Heck
- Luko van der Maas
Former Developers (lexicographical order)
- Jana Berger
- David Korzeniewski
- Jip Spel
Contributors (lexicographical order)
- Daniel Basgöze
- Dimitri Bohlender
- Harold Bruintjes
- Calvin Chau
- Michael Deutschen
- Thomas Heinemann
- Thomas Henn
- Mahdi JafariRaviz
- Tom Janson
- Jan Karuc
- Joachim Klein
- Gereon Kremer
- Sascha Vincent Kurowski
- Peter Lindner
- Hannah Mertens
- Stefanie Mohr
- Stefan Pranger
- Svenja Stein
- Manuel Sascha Weiand
- Ulises Torrella
- Victor Voronin
- Lukas Westhofen
For an exhaustive list of contributors and more details, see the GitHub page.
Citing Storm
If you want to cite Storm, please use the most recent paper in this category.
