On Incremental Quantitative Verification for Probabilistic Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

On Incremental Quantitative Verification for Probabilistic Systems


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.
Fichier principal
Vignette du fichier
submitted.pdf (336.65 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00740112 , version 1 (09-10-2012)


  • HAL Id : hal-00740112 , version 1


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. ⟨hal-00740112⟩


171 View
168 Download


Gmail Facebook Twitter LinkedIn More