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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Electronic proceedings in theoretical computer science Jg. 72; H. Proc. PDMC 2011; S. 30 - 42
Hauptverfasser:	Bulychev, Peter, David, Alexandre, Larsen, Kim Guldstrand, Mikučionis, Marius, Legay, Axel
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Open Publishing Association 31.10.2011
ISSN:	2075-2180, 2075-2180
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!