Kwiatkowska, M., Norman, G. and Parker, D. (2010) Advances and challenges of probabilistic model checking. In: Proceedings. 48th Annual Allerton Conference on Communication, Control and Computing, Allerton Retreat Center, Monticello, Illinois, September 29 – October 1, 2010, (Unpublished)
Full text not currently available from Enlighten.
Abstract
Probabilistic model checking is a powerful technique for formally verifying quantitative properties of systems that exhibit stochastic behaviour. Such systems are found in many domains: probabilistic behaviour may arise, for example, due to failures of unreliable components, communication across lossy media, or through the use of randomisation in distributed protocols. In this paper, we give a short overview of probabilistic model checking and of PRISM (www.prismmodelchecker.org), currently the leading software tool in this area. We then mention some of the limitations of these techniques, describe some of the advances that are being made to overcome them, and outline key challenges that remain in this research area.
Item Type: | Conference Proceedings |
---|---|
Status: | Unpublished |
Refereed: | Yes |
Glasgow Author(s) Enlighten ID: | Norman, Dr Gethin |
Authors: | Kwiatkowska, M., Norman, G., and Parker, D. |
Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
College/School: | College of Science and Engineering > School of Computing Science |
University Staff: Request a correction | Enlighten Editors: Update this record