Steady-state Property Verification: a Comparison Study

Abstract : Model checking of probabilistic models can be done either by numerical analysis or by simulation and statistical methods. In this paper, we compare the efficiency and the scalability of different model checking approaches when they are applied to the verification of steady-state properties of large models. We provide an experimental comparison study between the statistical model checking using perfect sampling implemented in psi2 [15] and proposed in [11, 10] and the numerical method implemented in PRISM [6], for the verification of CSL [2] steady-state properties. We show that the proposed statistical approach lets us to consider very large models.
Type de document :
Communication dans un congrès
4th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS, 2010, Paris, France. British Computer Society, 2010, eWiC. <http://ewic.bcs.org/content/ConMediaFile/15733>
Liste complète des métadonnées

https://hal.inria.fr/hal-00788886
Contributeur : Arnaud Legrand <>
Soumis le : vendredi 15 février 2013 - 13:11:22
Dernière modification le : mardi 22 mars 2016 - 01:26:39

Identifiants

  • HAL Id : hal-00788886, version 1

Collections

Citation

Diana Elrabih, Gaël Gorgo, Nihal Pekergin, Jean-Marc Vincent. Steady-state Property Verification: a Comparison Study. 4th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS, 2010, Paris, France. British Computer Society, 2010, eWiC. <http://ewic.bcs.org/content/ConMediaFile/15733>. <hal-00788886>

Partager

Métriques

Consultations de la notice

134