Distributed Parametric and Statistical Model Checking
Software Engineering
2011-11-03 v1 Distributed, Parallel, and Cluster Computing
Abstract
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 by introducing a series of algorithms that scale almost linearly with respect to the number of slave computers. Our approach has been implemented in the UPPAAL SMC toolset and applied on non-trivial case studies.
Cite
@article{arxiv.1111.0370,
title = {Distributed Parametric and Statistical Model Checking},
author = {Peter Bulychev and Alexandre David and Kim Guldstrand Larsen and Marius Mikučionis and Axel Legay},
journal= {arXiv preprint arXiv:1111.0370},
year = {2011}
}
Comments
In Proceedings PDMC 2011, arXiv:1111.0064