%0 Journal Article %T Sequential and Parallel Algorithms for the State Space Exploration" %+ University of Oran %+ Lab-STICC_ENSTAB_CACS_MOCS %A Allal, Lamia %A Belalem, Ghalem %A Dhaussy, Philippe %A Teodorov, Ciprian %< avec comité de lecture %J Cybernetics and Information Technologies %V 16 %N 1 %8 2016-09-28 %D 2016 %R 10.1515/cait-2016-0001 %K state explosion problem %K Model checking %K sequential exploration %K parallel exploration. %Z Computer Science [cs] %Z Computer Science [cs]/Modeling and SimulationJournal articles %X 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. %G English %L hal-01373327 %U https://hal.science/hal-01373327 %~ UNIV-BREST %~ INSTITUT-TELECOM %~ ENSTA-BRETAGNE %~ CNRS %~ UNIV-UBS %~ ENSTA-BRETAGNE-STIC %~ LAB-STICC %~ TDS-MACS %~ INSTITUTS-TELECOM