In this paper we propose a general framework for distributed statistical model checking of networks of priced timed automata. The first contribution is a new algorithm to distribute sequential hypothesis testing without introducing bias in the results. The second contribution is an implementation of this algorithm in Uppaal. The major contribution is an experimental and analytical evaluation of the approach through case studies, including an analysis of the SMC algorithm itself. © 2012 Springer-Verlag.
CITATION STYLE
Bulychev, P., David, A., Guldstrand Larsen, K., Legay, A., Mikučionis, M., & Bøgsted Poulsen, D. (2012). Checking and distributing statistical model checking. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7226 LNCS, pp. 449–463). https://doi.org/10.1007/978-3-642-28891-3_39
Mendeley helps you to discover research relevant for your work.