Distributed Parametric and Statistical Model Checking

Statistical Model Checking (SMC) is a trade-off between testing and formal verification. The core idea of the approach is to conduct some simulations of the system and verify if they satisfy some given property. In this paper we show that SMC is easily parallelizable on a master/slaves architecture...

Full description

Bibliographic Details

Published in:	Electronic proceedings in theoretical computer science Vol. 72; no. Proc. PDMC 2011; pp. 30 - 42
Main Authors:	Bulychev, Peter, David, Alexandre, Larsen, Kim Guldstrand, Mikučionis, Marius, Legay, Axel
Format:	Journal Article
Language:	English
Published:	Open Publishing Association 31.10.2011
ISSN:	2075-2180, 2075-2180
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!