article · 2012

Statistical Model Checking

Benoît Barbot, Serge Haddad, Claudine Picaronny, École Normale, Supérieure Cachan, Benoît Barbot, Serge Haddad, Claudine Picaronny

Cited by 0Abstract and details only

Abstract

Abstract. Statistical model-checking is an alternative verification technique applied on stochastic systems whose size is beyond numerical analysis ability. Given a model (most often a Markov chain) and a formula, it provides a confidence interval for the probability that the model satisfies the formula. One of the main limitations of the statistical approach is the computation time explosion triggered by the evaluation of very small probabilities. In order to solve this problem we develop a new approach based on importance sampling and coupling. The corresponding algorithms have been implemented in our tool COSMOS. We present experimentation on several relevant systems, with estimated time reductions reaching a factor of 10 −120.

Cite this paper

APA 7

Barbot, B., Haddad, S., Picaronny, C., Normale, É., Cachan, S., Barbot, B., Haddad, S., & Picaronny, C. (2012). Statistical Model Checking.

MLA 9

Barbot, Benoît, et al. “Statistical Model Checking.” 2012.

Chicago

Barbot, Benoît, Serge Haddad, Claudine Picaronny, École Normale, Supérieure Cachan, Benoît Barbot, Serge Haddad, and Claudine Picaronny. 2012. “Statistical Model Checking.”

Harvard

Barbot, B. et al. (2012) ‘Statistical Model Checking’.

BibTeX

@article{barbot2012statistical,
  title = {{Statistical Model Checking}},
  author = {Barbot, Benoît and Haddad, Serge and Picaronny, Claudine and Normale, École and Cachan, Supérieure and Barbot, Benoît and Haddad, Serge and Picaronny, Claudine},
  year = {2012}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.