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.
|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|
Electrical Engineering, Mathematics and Computer Science (EEMCS)
|Link to this item:||http://purl.utwente.nl/publications/64841|
|Export this item as:||BibTeX|
Daily downloads in the past month
Monthly downloads in the past 12 months
Repository Staff Only: item control page
Metis ID: 251041