UnRAVeL members with a Storm Tutorial at YouTube

The 2019 and 2020 competitions clearly demonstrate that Storm is a very competitive — if not the fastest — probabilistic model checker. The forthcoming 2020 report states: “Storm dominates the competition”.

Three short videos explain: What is Storm? How to use Storm? and Advanced features of Storm. Check it out
 

 

mehr...zu: UnRAVeL members with a Storm Tutorial at YouTube

Kontakt

Joost-Pieter Katoen © Urheberrecht: Tim Lange

Prof. Dr. Ir. Dr. h. c. Joost-Pieter Katoen

Ahornstr. 55 RWTH Navigator

52074 Aachen

WorkTelefon: +49 241 80 21004

FaxFax: +49 241 80 22217