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.