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