Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Towards Distributed Solution to the State Explosion Problem

Lamia Allal 1 Ghalem Belalem 1 Philippe Dhaussy 2, 3
2 Lab-STICC_ENSTAB_CACS_MOCS ; IDM
STIC - Pôle STIC [Brest], Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
3 Lab-STICC_ENSTAB_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (UMR 3192)
Abstract : 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.
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01298895
Contributeur : Annick Billon-Coat <>
Soumis le : mercredi 6 avril 2016 - 17:57:19
Dernière modification le : mercredi 24 juin 2020 - 16:19:35

Identifiants

Citation

Lamia Allal, Ghalem Belalem, Philippe Dhaussy. Towards Distributed Solution to the State Explosion Problem. INDIA 2016, Jan 2016, Vishakapatnam, India. ⟨10.1007/978-81-322-2755-7_56⟩. ⟨hal-01298895⟩

Partager

Métriques

Consultations de la notice

607