@inproceedings{08a7e812ad0b4698bd44da4da8120116,
title = "Using parallel and distributed reachability in model checking",
abstract = "In the life cycle of any software system, a crucial phase of formalization and validation by means of verification and/or testing leads to the identification of probable errors infiltrated during its design. Model checking is one of the formal verification techniques. This technique is very powerful, but limited by the state explosion problem that occurs when the model to be checked is too large, and cannot be verified for lack of memory space. In this article, we cite two solutions, parallel and distributed, which aim to reduce the state space explosion. A comparative study between these approaches is carried out on a counters model.",
keywords = "Distributed exploration, Formal verification, Model checking, Parallel exploration, State explosion problem",
author = "Lamia Allal and Ghalem Belalem and Philippe Dhaussy and Ciprian Teodorov",
note = "Publisher Copyright: {\textcopyright} Springer Nature Singapore Pte Ltd. 2018.; International Conference on Recent Advancement in Computer, Communication and Computational Sciences, RACCCS 2016 ; Conference date: 02-09-2017 Through 03-09-2017",
year = "2018",
month = jan,
day = "1",
doi = "10.1007/978-981-10-7386-1\_12",
language = "English",
isbn = "9789811073854",
series = "Advances in Intelligent Systems and Computing",
publisher = "Springer Verlag",
pages = "143--154",
editor = "Shailesh Tiwari and Trivedi, \{Munesh C.\} and Perez, \{Gregorio Martinez\} and Mishra, \{Krishn K.\}",
booktitle = "Ambient Communications and Computer Systems - RACCCS 2017",
}