Using Parallel and Distributed Reachability in Model Checking - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Using Parallel and Distributed Reachability in Model Checking

(1) , (1) , (2) , (2)
1
2
Lamia Allal
  • Fonction : Auteur
Philippe Dhaussy
  • Fonction : Auteur
  • PersonId : 1010394
Ciprian Teodorov

Résumé

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.
Fichier non déposé

Dates et versions

hal-01780556 , version 1 (27-04-2018)

Identifiants

Citer

Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Using Parallel and Distributed Reachability in Model Checking. Recent Advancement in Computer, Communication and Computational Sciences (RACCCS-2017), Sep 2017, Ajmer, India. pp.143-154, ⟨10.1007/978-981-10-7386-1_12⟩. ⟨hal-01780556⟩
101 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook Twitter LinkedIn More