Sequential and Parallel Algorithms for the State Space Exploration"

Lamia Allal (1) , Ghalem Belalem (1) , Philippe Dhaussy (2) , Ciprian Teodorov (2, 2)

1 University of Oran
2 Lab-STICC_ENSTAB_CACS_MOCS

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.

Mots clés: state explosion problem; Model checking; sequential exploration; parallel exploration.

Domaines: Informatique [cs]; Modélisation et simulation

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⟩