Sciweavers

101
Voted
CAV
1992
Springer
106views Hardware» more  CAV 1992»
15 years 28 days ago
Tableau Recycling
Angelika Mader
81
Voted
CAV
1992
Springer
96views Hardware» more  CAV 1992»
15 years 28 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...
CAV
1992
Springer
82views Hardware» more  CAV 1992»
15 years 28 days ago
Timing Verification by Successive Approximation
Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis...