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)
Journal Article

In: International journal on software tools for technology transfer
Volume: 24
Issue: 4
Page(s)/Article-Nr.: 589-610


  • UnRAVeL Research Training Group [080060]
  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]