Distributed algorithm to fight the state explosion problem

  title={Distributed algorithm to fight the state explosion problem},
  author={Lamia Allal and Ghalem Belalem and Philippe Dhaussy and Ciprian Teodorov},
Model checking, introduced 20 years ago, combines several fully automatic techniques in which the property to be checked is tested exhaustively on all the possible executions of the system. It is an automated approach to verifying that a system meets its specifications. The main limit to the use of model checking is related to the state explosion problem, which occurs when the number of states increases exponentially according to the complexity of the system. In this article, we presented a… CONTINUE READING