We celebrate the 10th anniversary of Storm.

On this day, 10 years ago, the first commit was made to the Storm project. The project was initially called “MRMC-Cpp” and was aimed to be a reimplementation of the MRMC model checker in the C++ programming language. 5 years later, in 2017, the Storm model checker was publicly released for the first time. Today, Storm is one of the state-of-the-art model checkers for probabilistic systems and continues to receive active development.