Sequential and Parallel Algorithms for the State Space Exploration
, , und
09. Apr. 2016
Über diesen Artikel
Online veröffentlicht: 09. Apr. 2016
Seitenbereich: 3 - 18
DOI: https://doi.org/10.1515/cait-2016-0001
Schlüsselwörter
© 2016 Lamia Allal et al., published by De Gruyter Open
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.
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.