We proudly announce the release of the source code on GitHub.

This first public version of Storm is focused on the core functionality of Storm: Model checking Markov chains. It has been thoroughly tested on a variety of platforms. However, native tools tend to be sensitive to environment changes. We welcome every kind of feedback and hope that this will allow us to improve your experience with Storm.