Sciweavers

89
Voted
CHARME
2005
Springer
122views Hardware» more  CHARME 2005»
15 years 2 months ago
Regular Vacuity
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
Doron Bustan, Alon Flaisher, Orna Grumberg, Orna K...