Statistical model checking for parameterized models - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2019

Statistical model checking for parameterized models

Benoit Delahaye
Paulin Fournier
  • Fonction : Auteur
  • PersonId : 774411
  • IdRef : 194641805
Didier Lime
STR

Résumé

We propose a simulation-based technique, in the spirit of Statistical Model Checking, for approximate verification of probabilis-tic models with parametric transitions, and we focus in particular on parametric Markov chains. Our technique is based on an extension of Monte Carlo algorithms that allows to approximate the probability of satisfying a given finite trace property as a (polynomial) function of the parameters of the model. The confidence intervals associated with this approximation can also be expressed as a function of the parameters. In the paper, we present both the theoretical foundations of this technique and a prototype implementation in Python which we evaluate on a set of benchmarks.
Fichier principal
Vignette du fichier
main.pdf (741.24 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02021064 , version 1 (15-02-2019)

Identifiants

  • HAL Id : hal-02021064 , version 1

Citer

Benoit Delahaye, Paulin Fournier, Didier Lime. Statistical model checking for parameterized models. 2019. ⟨hal-02021064⟩
110 Consultations
187 Téléchargements

Partager

Gmail Facebook X LinkedIn More