Perspectives in probabilistic verification

Joost P. Katoen

doi:10.1109/TASE.2008.44

Perspectives in probabilistic verification

Joost P. Katoen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

11 Citations (Scopus)

153 Downloads (Pure)

Abstract

Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabilities. The initial focus was on qualitative properties — e.g., does a program terminate with probability one? — but later efficient algorithms were developed for quantitative questions as well. Model checking of probabilistic models received quite some attention in the late nineties, and this popularity lasts until today. Some application areas are security, randomised distributed algorithms, systems biology, and classical performance analysis. What is the current state of this field? Probabilistic verification, quo vadis? This talks surveys the main achievements during the last years, reports on some recent advances, and attempts to point out some research challenges for the coming years.

Original language	Undefined
Title of host publication	Proceedings 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering
Place of Publication	Los Alamitos
Publisher	IEEE Computer Society
Pages	3-10
Number of pages	8
ISBN (Print)	978-0-7695-3249-3
DOIs	https://doi.org/10.1109/TASE.2008.44
Publication status	Published - Jun 2008
Event	2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008 - Nanjing, China Duration: 17 Jun 2008 → 19 Jun 2008 Conference number: 2

Publication series

Name
Publisher	IEEE Computer Society Press
Number	302

Conference

Conference	2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008
Abbreviated title	TASE
Country/Territory	China
City	Nanjing
Period	17/06/08 → 19/06/08

Keywords

IR-64841
METIS-251041
EWI-12964

Access to Document

10.1109/TASE.2008.44

Cite this

@inproceedings{046770c11d8b480193987cd36a7a9d12,

title = "Perspectives in probabilistic verification",

abstract = "Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabilities. The initial focus was on qualitative properties — e.g., does a program terminate with probability one? — but later efficient algorithms were developed for quantitative questions as well. Model checking of probabilistic models received quite some attention in the late nineties, and this popularity lasts until today. Some application areas are security, randomised distributed algorithms, systems biology, and classical performance analysis. What is the current state of this field? Probabilistic verification, quo vadis? This talks surveys the main achievements during the last years, reports on some recent advances, and attempts to point out some research challenges for the coming years.",

keywords = "IR-64841, METIS-251041, EWI-12964",

author = "Katoen, {Joost P.}",

note = "10.1109/TASE.2008.44 ; null ; Conference date: 17-06-2008 Through 19-06-2008",

year = "2008",

month = jun,

doi = "10.1109/TASE.2008.44",

language = "Undefined",

isbn = "978-0-7695-3249-3",

publisher = "IEEE Computer Society",

number = "302",

pages = "3--10",

booktitle = "Proceedings 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering",

address = "United States",

}

Katoen, JP 2008, Perspectives in probabilistic verification. in Proceedings 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering., 10.1109/TASE.2008.44, IEEE Computer Society, Los Alamitos, pp. 3-10, 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, Nanjing, China, 17/06/08. https://doi.org/10.1109/TASE.2008.44

TY - GEN

T1 - Perspectives in probabilistic verification

AU - Katoen, Joost P.

N1 - Conference code: 2

PY - 2008/6

Y1 - 2008/6

N2 - Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabilities. The initial focus was on qualitative properties — e.g., does a program terminate with probability one? — but later efficient algorithms were developed for quantitative questions as well. Model checking of probabilistic models received quite some attention in the late nineties, and this popularity lasts until today. Some application areas are security, randomised distributed algorithms, systems biology, and classical performance analysis. What is the current state of this field? Probabilistic verification, quo vadis? This talks surveys the main achievements during the last years, reports on some recent advances, and attempts to point out some research challenges for the coming years.

AB - Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabilities. The initial focus was on qualitative properties — e.g., does a program terminate with probability one? — but later efficient algorithms were developed for quantitative questions as well. Model checking of probabilistic models received quite some attention in the late nineties, and this popularity lasts until today. Some application areas are security, randomised distributed algorithms, systems biology, and classical performance analysis. What is the current state of this field? Probabilistic verification, quo vadis? This talks surveys the main achievements during the last years, reports on some recent advances, and attempts to point out some research challenges for the coming years.

KW - IR-64841

KW - METIS-251041

KW - EWI-12964

U2 - 10.1109/TASE.2008.44

DO - 10.1109/TASE.2008.44

M3 - Conference contribution

SN - 978-0-7695-3249-3

SP - 3

EP - 10

BT - Proceedings 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering

PB - IEEE Computer Society

CY - Los Alamitos

Y2 - 17 June 2008 through 19 June 2008

ER -