|Title||Sequential and Parallel Algorithms for the State Space Exploration|
|Publication Type||Journal Article|
|Year of Publication||2016|
|Authors||Allal, L, Belalem, G, Dhaussy, P, Teodorov, C|
|Journal||CYBERNETICS AND INFORMATION TECHNOLOGIES|
|Keywords||Model checking, parallel exploration, sequential exploration, state explosion problem|
n 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.