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.

More information can also be found here.

A short video (in German) presenting the winners can be found below.