<abstract xmlns="http://www.w3.org/1999/xhtml"><p>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.</p></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.

Sequential and Parallel Algorithms for the State Space Exploration

Dept. Computer Science, Faculty of Exact and Applied Sciences, University of Oran 1 Ahmed Ben Bella, Oran, Algeria

Lab-STICC UMR CNRS 6285 ENSTA Bretagne, Brest, France

Cybernetics and Information Technologies

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

{"article-title":"Sequential and Parallel Algorithms for the State Space Exploration"}

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...

Sequential and Parallel Algorithms for the State Space Exploration

Published Online: Apr 09, 2016

Page range: 3 - 18

DOI: https://doi.org/10.1515/cait-2016-0001

Keywords
Model checking, state explosion problem, sequential exploration, parallel exploration

© 2016 Lamia Allal et al., published by De Gruyter Open

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Sequential and Parallel Algorithms for the State Space Exploration

Published Online: Apr 09, 2016

Page range: 3 - 18

DOI: https://doi.org/10.1515/cait-2016-0001

KeywordsModel checking, state explosion problem, sequential exploration, parallel exploration

© 2016 Lamia Allal et al., published by De Gruyter Open

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Keywords
Model checking, state explosion problem, sequential exploration, parallel exploration