Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

Sequential and Parallel Algorithms for the State Space Exploration"

Lamia Allal 1 Ghalem Belalem 1 Philippe Dhaussy 2 Ciprian Teodorov 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 this article, we are interested in the exploration part of model checking which consists in traversing all the possible states of a system. We propose two approaches to exploration, parallel and sequential. We present a comparison between our parallel approach and the parallel algorithm proposed in SPIN.
Type de document :
Article dans une revue
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01373327
Contributeur : Annick Billon-Coat <>
Soumis le : mercredi 28 septembre 2016 - 15:16:33
Dernière modification le : mercredi 24 juin 2020 - 16:19:35

Lien texte intégral

Identifiants

Citation

Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Sequential and Parallel Algorithms for the State Space Exploration". Cybernetics and Information Technologies, 2016, 16 (1), ⟨10.1515/cait-2016-0001⟩. ⟨hal-01373327⟩

Partager

Métriques

Consultations de la notice

700