Perspectives in probabilistic verification

Katoen, J.P. (2008) Perspectives in probabilistic verification. In: Proceedings 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, Nanjing, China.

Preview

PDF
290Kb

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.
Item Type:	Conference or Workshop Item
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Formal Methods and Tools (FMT)
Link to this item:	http://purl.utwente.nl/publications/64841
Official URL:	http://dx.doi.org/10.1109/TASE.2008.44
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 251041