Riding the Storm in a Probabilistic Model Checking Landscape

Christian Hensel; Sebastian Junges; Tim Quatmann; Matthias Volk

doi:10.1007/978-3-031-75775-4_5

Riding the Storm in a Probabilistic Model Checking Landscape

Christian Hensel
, Sebastian Junges (Corresponding author)
, Tim Quatmann
, Matthias Volk

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

1 Citation (Scopus)

1 Downloads (Pure)

Abstract

Probabilistic model checking is a formal verification technique to check whether stochastic models satisfy properties of interest. Along with a rich theory, the community has developed mature tool support, which in turn has been applied to a set of industrial case studies. This paper demonstrates various abilities of the probabilistic model checker Storm by a set of simple and more accessible examples.

Original language	English
Title of host publication	Principles of Verification: Cycling the Probabilistic Landscape
Subtitle of host publication	Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday
Editors	Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
Publisher	Springer
Chapter	5
Pages	98-114
Number of pages	17
Volume	2
ISBN (Electronic)	978-3-031-75775-4
ISBN (Print)	978-3-031-75774-7
DOIs	https://doi.org/10.1007/978-3-031-75775-4_5
Publication status	Published - 2025

Publication series

Name	Lecture Notes in Computer Science
Volume	15261 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Bibliographical note

Publisher Copyright:
© The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

Access to Document

10.1007/978-3-031-75775-4_5

Cite this

Hensel, C., Junges, S., Quatmann, T., & Volk, M. (2025). Riding the Storm in a Probabilistic Model Checking Landscape. In N. Jansen, S. Junges, B. L. Kaminski, C. Matheja, T. Noll, T. Quatmann, M. Stoelinga, & M. Volk (Eds.), Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday (Vol. 2, pp. 98-114). (Lecture Notes in Computer Science; Vol. 15261 LNCS). Springer. https://doi.org/10.1007/978-3-031-75775-4_5

Hensel, Christian ; Junges, Sebastian ; Quatmann, Tim et al. / Riding the Storm in a Probabilistic Model Checking Landscape. Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday. editor / Nils Jansen ; Sebastian Junges ; Benjamin Lucien Kaminski ; Christoph Matheja ; Thomas Noll ; Tim Quatmann ; Mariëlle Stoelinga ; Matthias Volk. Vol. 2 Springer, 2025. pp. 98-114 (Lecture Notes in Computer Science).

@inbook{5c5548e75f7447b9a1c8c3276100db51,

title = "Riding the Storm in a Probabilistic Model Checking Landscape",

abstract = "Probabilistic model checking is a formal verification technique to check whether stochastic models satisfy properties of interest. Along with a rich theory, the community has developed mature tool support, which in turn has been applied to a set of industrial case studies. This paper demonstrates various abilities of the probabilistic model checker Storm by a set of simple and more accessible examples.",

author = "Christian Hensel and Sebastian Junges and Tim Quatmann and Matthias Volk",

note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.",

year = "2025",

doi = "10.1007/978-3-031-75775-4\_5",

language = "English",

isbn = "978-3-031-75774-7",

volume = "2",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "98--114",

editor = "Nils Jansen and Sebastian Junges and Kaminski, \{Benjamin Lucien\} and Christoph Matheja and Thomas Noll and Tim Quatmann and Mari{\"e}lle Stoelinga and Matthias Volk",

booktitle = "Principles of Verification: Cycling the Probabilistic Landscape",

address = "Germany",

}

Hensel, C, Junges, S, Quatmann, T & Volk, M 2025, Riding the Storm in a Probabilistic Model Checking Landscape. in N Jansen, S Junges, BL Kaminski, C Matheja, T Noll, T Quatmann, M Stoelinga & M Volk (eds), Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday. vol. 2, Lecture Notes in Computer Science, vol. 15261 LNCS, Springer, pp. 98-114. https://doi.org/10.1007/978-3-031-75775-4_5

Riding the Storm in a Probabilistic Model Checking Landscape. / Hensel, Christian; Junges, Sebastian (Corresponding author); Quatmann, Tim et al.
Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday. ed. / Nils Jansen; Sebastian Junges; Benjamin Lucien Kaminski; Christoph Matheja; Thomas Noll; Tim Quatmann; Mariëlle Stoelinga; Matthias Volk. Vol. 2 Springer, 2025. p. 98-114 (Lecture Notes in Computer Science; Vol. 15261 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

TY - CHAP

T1 - Riding the Storm in a Probabilistic Model Checking Landscape

AU - Hensel, Christian

AU - Junges, Sebastian

AU - Quatmann, Tim

AU - Volk, Matthias

N1 - Publisher Copyright: © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

PY - 2025

Y1 - 2025

N2 - Probabilistic model checking is a formal verification technique to check whether stochastic models satisfy properties of interest. Along with a rich theory, the community has developed mature tool support, which in turn has been applied to a set of industrial case studies. This paper demonstrates various abilities of the probabilistic model checker Storm by a set of simple and more accessible examples.

AB - Probabilistic model checking is a formal verification technique to check whether stochastic models satisfy properties of interest. Along with a rich theory, the community has developed mature tool support, which in turn has been applied to a set of industrial case studies. This paper demonstrates various abilities of the probabilistic model checker Storm by a set of simple and more accessible examples.

UR - https://www.scopus.com/pages/publications/85211134498

U2 - 10.1007/978-3-031-75775-4_5

DO - 10.1007/978-3-031-75775-4_5

M3 - Chapter

AN - SCOPUS:85211134498

SN - 978-3-031-75774-7

VL - 2

T3 - Lecture Notes in Computer Science

SP - 98

EP - 114

BT - Principles of Verification: Cycling the Probabilistic Landscape

A2 - Jansen, Nils

A2 - Junges, Sebastian

A2 - Kaminski, Benjamin Lucien

A2 - Matheja, Christoph

A2 - Noll, Thomas

A2 - Quatmann, Tim

A2 - Stoelinga, Mariëlle

A2 - Volk, Matthias

PB - Springer

ER -

Hensel C, Junges S, Quatmann T, Volk M. Riding the Storm in a Probabilistic Model Checking Landscape. In Jansen N, Junges S, Kaminski BL, Matheja C, Noll T, Quatmann T, Stoelinga M, Volk M, editors, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday. Vol. 2. Springer. 2025. p. 98-114. (Lecture Notes in Computer Science). doi: 10.1007/978-3-031-75775-4_5