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

Celý popis

Podrobná bibliografie

Vydáno v:	Electronic proceedings in theoretical computer science Ročník 72; číslo Proc. PDMC 2011; s. 30 - 42
Hlavní autoři:	Bulychev, Peter, David, Alexandre, Larsen, Kim Guldstrand, Mikučionis, Marius, Legay, Axel
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Open Publishing Association 31.10.2011
ISSN:	2075-2180, 2075-2180
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!