Related tools

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

• COMICS
• DFTCalc
• FACT
• FIG
• GreatSPN
• IMCA
• IscasMC
• Modest
• MRMC
• PARAM
• PASS
• PAT
• PRISM
• Uppaal SMC

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):

• Boost (just-in-time compilation, parsing of the PRISM language & properties, various other tasks)
• CArL (symbolic computations and as a wrapper for exact arithmetic, source of some cmake build scripts)
• CLN (exact number representation)
• CMake (build system)
• CUDD (an MTBDD library available in the DD-related engines)
• Eigen (sparse linear algebra)
• gmm++ (sparse linear algebra)
• GTest (testing infrastructure)
• L3pp (logging)
• PRISM (source of some CUDD extensions for MTBDD based model checking)
• Sylvan (an MTBDD library available in the DD-related engines)
• Xerces (XML parsing)
• Z3 (SMT solving)

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:

• Bootstrap
• BootstrapCDN
• DataTables
• Flatly Theme
• Font awesome
• Font mfizz
• Jekyll
• Sphinx Doc

Development

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