The probabilistic model checker STORM

Hensel, Hans Christian; Junges, Sebastian; Katoen, Joost-Pieter (Corresponding author); Quatmann, Tim; Volk, Matthias

Berlin; Heidelberg [u.a.] : Springer (2021, 2022)
Fachzeitschriftenartikel

In: International journal on software tools for technology transfer
Band: 24
Heft: 4
Seite(n)/Artikel-Nr.: 589-610

Einrichtungen

• Graduiertenkolleg UnRAVeL [080060]
• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]