Skip to main content
Have a personal or library account? Click to login
Sequential and Parallel Algorithms for the State Space Exploration Cover

Sequential and Parallel Algorithms for the State Space Exploration

Cybernetics and Information Technologies
Volume 16 (2016): Issue 1 (March 2016)
By: Lamia Allal,  Ghalem Belalem,  Philippe Dhaussy and  Ciprian Teodorov  
Open Access
|Apr 2016
Authors

Authors

DOI: https://doi.org/10.1515/cait-2016-0001 | Journal eISSN: 1314-4081 | Journal ISSN: 1311-9702
Journal RSS Feed
Language: English
Page range: 3 - 18
Published on: Apr 9, 2016
Published by: Bulgarian Academy of Sciences, Institute of Information and Communication Technologies
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Keywords:
Model checking,
state explosion problem,
sequential exploration,
parallel exploration
Related subjects:
Computer sciences,
Information technology

© 2016 Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov, published by Bulgarian Academy of Sciences, Institute of Information and Communication Technologies
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Volume 16 (2016): Issue 1 (March 2016)
Next article