Model checking is widely used as an automatic exhaustive verification technique to check properties of complex systems. However, it is difficult to operate in the context of today's emerging systems that combine distribution (and asynchronous communications) together with a large size (and a hierarchical composition of components - and thus, of specifications). This paper combines existing techniques tackling the known combinatorial explosion of model checking. To achieve this, we exploit the structure of such distributed systems (symmetries and hierarchical composition), thus allowing a better compression factor and calculus factorization in favorable cases. We present these techniques and assess their impact on some benchmark examples. © 2012 Springer-Verlag.
CITATION STYLE
Colange, M., Hillah, L. M., Kordon, F., & Parutto, P. (2012). Extreme symmetries in complex distributed systems: The bag-oriented approach. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7539 LNCS, pp. 330–352). https://doi.org/10.1007/978-3-642-34059-8_17
Mendeley helps you to discover research relevant for your work.