Storm successfully participated in the second edition of the Comparison of Tools for the Analysis of Quantitative Formal Models (QComp 2020). The competition report is available here.
The newspaper Aachener Nachrichten published the article Storm findet sicherheitskritische Softwarefehler.
The Storm model checker has received the second place at the RWTH Innovation Award 2020. The annual awards honours ideas and technologies developed by researchers and inventors at RWTH Aachen University.