Advances in Probabilistic Model Checking

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

37 Downloads (Pure)

Abstract

Random phenomena occur in many applications: security, communication protocols, distributed algorithms, and performance and dependability analysis, to mention a few. In the last two decades, efficient model-checking algorithms and tools have been developed to support the automated verification of models that incorporate randomness. Popular models are Markov decision processes and (continuous-time) Markov chains. Recent advances such as compositional abstraction-refinement and counterexample generation have significantly improved the applicability of these techniques. First promising steps have been made to cover more powerful models, real-time linear specifications, and parametric model checking. In this tutorial I will describe the state of the art, and will detail some of the major recent advancements in probabilistic model checking.
Original languageUndefined
Title of host publication11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010
EditorsG. Barthe, M. Hermenegildo
Place of PublicationBerlin
PublisherSpringer
Pages25-25
Number of pages1
ISBN (Print)978-3-642-11318-5
DOIs
Publication statusPublished - Jan 2010

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume5944

Keywords

  • IR-72600
  • EWI-18212
  • METIS-270939

Cite this

Katoen, J. P. (2010). Advances in Probabilistic Model Checking. In G. Barthe, & M. Hermenegildo (Eds.), 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010 (pp. 25-25). (Lecture Notes in Computer Science; Vol. 5944). Berlin: Springer. https://doi.org/10.1007/978-3-642-11319-2_5
Katoen, Joost P. / Advances in Probabilistic Model Checking. 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010. editor / G. Barthe ; M. Hermenegildo. Berlin : Springer, 2010. pp. 25-25 (Lecture Notes in Computer Science).
@inproceedings{49b1cbf1c17b44da85e1e7af69ad5b5a,
title = "Advances in Probabilistic Model Checking",
abstract = "Random phenomena occur in many applications: security, communication protocols, distributed algorithms, and performance and dependability analysis, to mention a few. In the last two decades, efficient model-checking algorithms and tools have been developed to support the automated verification of models that incorporate randomness. Popular models are Markov decision processes and (continuous-time) Markov chains. Recent advances such as compositional abstraction-refinement and counterexample generation have significantly improved the applicability of these techniques. First promising steps have been made to cover more powerful models, real-time linear specifications, and parametric model checking. In this tutorial I will describe the state of the art, and will detail some of the major recent advancements in probabilistic model checking.",
keywords = "IR-72600, EWI-18212, METIS-270939",
author = "Katoen, {Joost P.}",
note = "10.1007/978-3-642-11319-2_5",
year = "2010",
month = "1",
doi = "10.1007/978-3-642-11319-2_5",
language = "Undefined",
isbn = "978-3-642-11318-5",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "25--25",
editor = "G. Barthe and M. Hermenegildo",
booktitle = "11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010",

}

Katoen, JP 2010, Advances in Probabilistic Model Checking. in G Barthe & M Hermenegildo (eds), 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010. Lecture Notes in Computer Science, vol. 5944, Springer, Berlin, pp. 25-25. https://doi.org/10.1007/978-3-642-11319-2_5

Advances in Probabilistic Model Checking. / Katoen, Joost P.

11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010. ed. / G. Barthe; M. Hermenegildo. Berlin : Springer, 2010. p. 25-25 (Lecture Notes in Computer Science; Vol. 5944).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Advances in Probabilistic Model Checking

AU - Katoen, Joost P.

N1 - 10.1007/978-3-642-11319-2_5

PY - 2010/1

Y1 - 2010/1

N2 - Random phenomena occur in many applications: security, communication protocols, distributed algorithms, and performance and dependability analysis, to mention a few. In the last two decades, efficient model-checking algorithms and tools have been developed to support the automated verification of models that incorporate randomness. Popular models are Markov decision processes and (continuous-time) Markov chains. Recent advances such as compositional abstraction-refinement and counterexample generation have significantly improved the applicability of these techniques. First promising steps have been made to cover more powerful models, real-time linear specifications, and parametric model checking. In this tutorial I will describe the state of the art, and will detail some of the major recent advancements in probabilistic model checking.

AB - Random phenomena occur in many applications: security, communication protocols, distributed algorithms, and performance and dependability analysis, to mention a few. In the last two decades, efficient model-checking algorithms and tools have been developed to support the automated verification of models that incorporate randomness. Popular models are Markov decision processes and (continuous-time) Markov chains. Recent advances such as compositional abstraction-refinement and counterexample generation have significantly improved the applicability of these techniques. First promising steps have been made to cover more powerful models, real-time linear specifications, and parametric model checking. In this tutorial I will describe the state of the art, and will detail some of the major recent advancements in probabilistic model checking.

KW - IR-72600

KW - EWI-18212

KW - METIS-270939

U2 - 10.1007/978-3-642-11319-2_5

DO - 10.1007/978-3-642-11319-2_5

M3 - Conference contribution

SN - 978-3-642-11318-5

T3 - Lecture Notes in Computer Science

SP - 25

EP - 25

BT - 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010

A2 - Barthe, G.

A2 - Hermenegildo, M.

PB - Springer

CY - Berlin

ER -

Katoen JP. Advances in Probabilistic Model Checking. In Barthe G, Hermenegildo M, editors, 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010. Berlin: Springer. 2010. p. 25-25. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-11319-2_5