Related tools

There are various tools whose functionality overlaps or is closely related with that of Storm (in lexicographic order):

If you feel there is a tool that we forgot about, do not hesitate to contact us.

Dependencies

A large number of dependencies contribute to the capabilities of Storm. We would like to thank the developers of these tools (in lexicographic order):

Website

This website (including the website for Stormpy and for our benchmarks) is developed with the following libraries, which made this effort so much easier:

Development

We are happy to use Xcode, CLion, Valgrind, Git and Jenkins for development purposes.

References