General help


Numerical issues

Depending on the input file and property, the used numerical values (for transition probabilities, etc.) might be very small. As a result, Storm might encounter numerical imprecisions due to using floating-point numbers.

File an issue

If you encounter problems when using Storm, feel free to contact us by writing a mail to

You may also open an issue on GitHub. In any case, please provide as much information on your problem as you possibly can. For example, provide the input model you want to check and the complete command-line arguments you used for running Storm. It also helps us to know the exact version of Storm you are using. You can output the version information with

$ storm --version