»Moves News»Storm runner-up in RWTH Innovation Award 2020
Storm runner-up in RWTH Innovation Award 2020
The Storm model checker received the second place at the RWTH Innovation Award 2020. An official announcement can be found here whereas a youtube video of the three winners is here (watch until the end).