%0 Conference Proceedings %T Towards Distributed Solution to the State Explosion Problem %+ University of Oran %+ Lab-STICC_ENSTAB_CACS_MOCS %A Allal, Lamia %A Belalem, Ghalem %A Dhaussy, Philippe %< avec comité de lecture %B INDIA 2016 %C Vishakapatnam, India %Y Springer %3 Information Systems Design and Intelligent Applications %V 433 %8 2016-01-08 %D 2016 %R 10.1007/978-81-322-2755-7_56 %K Model checking State explosion problem Formal methods State compression %Z Computer Science [cs]/Modeling and Simulation %Z Computer Science [cs]/Computational Complexity [cs.CC] %Z Computer Science [cs]/Symbolic Computation [cs.SC]Conference papers %X In the life cycle of any software system, a crucial phase formalization and validation through verification or testing induces an identification of errors infiltrated during its design. This is achieved through verification by model checking. A model checking algorithm is based on two steps: the construction of state space of the system specification and the verification of this state space. However, these steps are limited by the state explosion problem, which occurs when models are large. In this paper, we propose a solution to this problem to improve performance in execution time and memory space by performing the exploration of state space in a distributed architecture consisting of several machines. %G English %L hal-01298895 %U https://hal.science/hal-01298895 %~ UNIV-BREST %~ INSTITUT-TELECOM %~ ENSTA-BRETAGNE %~ CNRS %~ UNIV-UBS %~ ENSTA-BRETAGNE-STIC %~ LAB-STICC %~ TDS-MACS %~ INSTITUTS-TELECOM