<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

Pubblicato online: 09 apr 2016

Pagine: 3 - 18

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

Parole chiave
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

Pubblicato online: 09 apr 2016

Pagine: 3 - 18

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

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

Parole chiave
Model checking, state explosion problem, sequential exploration, parallel exploration