Sequential and Parallel Algorithms for the State Space Exploration" - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu
Article Dans Une Revue Cybernetics and Information Technologies Année : 2016

Sequential and Parallel Algorithms for the State Space Exploration"

Résumé

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.

Dates et versions

hal-01373327 , version 1 (28-09-2016)

Identifiants

Citer

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⟩
236 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook Twitter LinkedIn More