Sequential and Parallel Algorithms for the State Space Exploration

Online veröffentlicht: 09. Apr. 2016

Seitenbereich: 3 - 18

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

Schlüsselwörter

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.