21 search results - page 1 / 5 » Parallelising Symbolic State-Space Generators |
CAV
2007
Springer
14 years 5 months ago
2007
Springer
PE
2000
Springer
13 years 10 months ago
2000
Springer
Conventional methods for state space exploration are limited to the analysis of small systems because they suffer from excessive memory and computational requirements. We have dev...
SOFSEM
2009
Springer
14 years 7 months ago
2009
Springer
We propose a new type of canonical decision diagrams, which allows a more efficient symbolic state-space generation for general asynchronous systems by allowing on-the-fly extensi...
TACAS
2001
Springer
14 years 3 months ago
2001
Springer
APN
2000
Springer
14 years 2 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...