On Incremental Quantitative Verification for Probabilistic Systems

Abstract : Quantitative verification techniques offer an effective means of computing performance and reliability properties for a wide range of systems. In many cases, it is necessary to perform repeated analyses of a system, for example to identify trends in results, determine optimal system parameters or when performing online analysis for adaptive systems. We argue the need for incremental quantitative verification techniques which are able to re-use results from previous verification runs in order to improve efficiency. We report on recently proposed techniques for incremental quantitative verification of Markov decision processes, based on a decomposition of the model into its strongly connected components. We give an overview of the method, describe a number of useful optimisations and show experimental results that illustrate significant gains in run-time performance using the incremental approach.
Type de document :
Communication dans un congrès
High-order workshop on automated runtime verification and debugging, Dec 2011, Manchester, United Kingdom. 2012
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00740112
Contributeur : Hongyang Qu <>
Soumis le : mardi 9 octobre 2012 - 14:14:28
Dernière modification le : mardi 9 octobre 2012 - 14:47:46
Document(s) archivé(s) le : vendredi 16 décembre 2016 - 22:26:48

Fichier

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

Identifiants

  • HAL Id : hal-00740112, version 1

Collections

Citation

Marta Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma. On Incremental Quantitative Verification for Probabilistic Systems. High-order workshop on automated runtime verification and debugging, Dec 2011, Manchester, United Kingdom. 2012. 〈hal-00740112〉

Partager

Métriques

Consultations de la notice

205

Téléchargements de fichiers

144