By Topic

Perspectives in Probabilistic Verification

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Katoen, J. ; Software Modeling & Verification Group, RWTH Aachen Univ., Aachen

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. Application areas are, among others, security, distributed algorithms, systems biology, and performance analysis. What is the current state of this field? Probabilistic verification, quo vadis? This paper surveys the main achievements during the last two decades, reports on recent advances, and attempts to point out some research challenges for the coming years.

Published in:

Theoretical Aspects of Software Engineering, 2008. TASE '08. 2nd IFIP/IEEE International Symposium on

Date of Conference:

17-19 June 2008