Probabilistic Model Checking Taken by Storm

Matthias Volk, Linus Heck, Sebastian Junges +2

This tutorial paper presents a hands-on perspective on probabilistic model checking with the Storm model checker. Storm is a decade-old model checker that excels in performance and…