444 search results - page 4 / 89 » Sensitive state-space exploration |
CAV
1997
Springer
13 years 10 months ago
1997
Springer
ECEASST
2010
13 years 20 days ago
2010
PE
2000
Springer
13 years 5 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...
CAV
1992
Springer
13 years 10 months ago
1992
Springer
State-space caching is a veri cation technique for nite-state concurrent systems. It performs an exhaustive exploration of the state space of the system being checked while storin...
STTT
2008
13 years 5 months ago
2008
Explicit model checking algorithms explore the full state space of a system. State spaces are usually treated as directed graphs without any specific features. We gather a large co...