| 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 |
| Volume | 16 |
| Issue | 1 |
| Start Page | 3 |
| Pagination | 18 |
| Keywords | Model 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. |