<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

Publicado en línea: 09 abr 2016

Páginas: 3 - 18

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

Palabras clave
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

Publicado en línea: 09 abr 2016

Páginas: 3 - 18

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

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

Palabras clave
Model checking, state explosion problem, sequential exploration, parallel exploration