Sequential and Parallel Algorithms for the State Space Exploration

Data publikacji: 09 kwi 2016

Zakres stron: 3 - 18

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

Słowa kluczowe

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.