Sciweavers

81
Voted
CAV
1992
Springer
96views Hardware» more  CAV 1992»
15 years 27 days ago
State-Space Caching Revisited
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...
Patrice Godefroid, Gerard J. Holzmann, Didier Piro...