Sequential and Parallel Algorithms for the State Space Exploration
Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov · Cybernetics and Information Technologies · 2016
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.