3 search results - page 1 / 1 » cav 1992 |
CAV
1992
Springer
14 years 2 months ago
1992
Springer
CAV
1992
Springer
14 years 2 months ago
1992
Springer
CAV
1992
Springer
14 years 2 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...