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 at:

Part 1: Storm Tutorial @DisCoTec 2020 - Part 1: "What is Storm?"
Part 2: Storm Tutorial @DisCoTec 2020 - Part 2: "Introduction to Storm"
Part 3: Storm Tutorial @DisCoTec 2020 - Part 3: "Advanced Features with Stormpy"