Advances and Challenges of Probabilistic Model Checking

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.
Type de document :
Communication dans un congrès
Viswanath, P. and Meyn, S. 48th Annual Allerton Conference on Communication, Control and Computing, Sep 2010, Monticello, United States. IEEE Press, pp.1691-1698, 2010
Liste complète des métadonnées

Littérature citée [38 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00767474
Contributeur : Hongyang Qu <>
Soumis le : mercredi 19 décembre 2012 - 22:51:21
Dernière modification le : jeudi 20 décembre 2012 - 10:52:18
Document(s) archivé(s) le : mercredi 20 mars 2013 - 11:38:25

Fichier

allerton10.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00767474, version 1

Collections

Citation

Marta Kwiatkowska, Gethin Norman, David Parker. Advances and Challenges of Probabilistic Model Checking. Viswanath, P. and Meyn, S. 48th Annual Allerton Conference on Communication, Control and Computing, Sep 2010, Monticello, United States. IEEE Press, pp.1691-1698, 2010. 〈hal-00767474〉

Partager

Métriques

Consultations de la notice

110

Téléchargements de fichiers

221