Sequential and Parallel Algorithms for the State Space Exploration

TitleSequential and Parallel Algorithms for the State Space Exploration
Publication TypeJournal Article
Year of Publication2016
AuthorsAllal, L, Belalem, G, Dhaussy, P, Teodorov, C
JournalCYBERNETICS AND INFORMATION TECHNOLOGIES
Volume16
Issue1
Start Page3
Pagination18
KeywordsModel checking, parallel exploration, sequential exploration, state explosion problem
Abstract

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.