Repository files navigation

The Storm websitewww.stormchecker.org provides documentation and background information.

• For installation and usage instructions, check out the documentation found inGetting Started.
• Video tutorials and interactive code examples are available inTutorials.
• TheStorm starter project provides a starting point for incorporating Storm into C++ projects.
• Storm provides a Python interface calledstormpy for easy prototyping and interaction with Storm.
• In case of any issues installing or using Storm,let us know.

Various benchmarks together with example invocations of Storm can be found at theQuantitative Verification Benchmark Set (QVBS).Additional input files for Storm can be obtained from thestorm-examples repository.

We welcome contributions to Storm.Ourinformation 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.

Storm has been developed at RWTH Aachen University.

• Christian Hensel
• Sebastian Junges
• Joost-Pieter Katoen
• Tim Quatmann
• Matthias Volk

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

• 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

For an exhaustive list of contributors and more details, see theGithub page.

If you want to cite Storm, please use the most recent paper inthis category.