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.