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

 

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

Contact

Joost-Pieter Katoen © Copyright: Tim Lange

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

Ahornstr. 55 RWTH Navigator

52074 Aachen

WorkPhone: +49 241 80 21004

FaxFax: +49 241 80 22217