10870 search results - page 423 / 2174 » Model Checking Programs |
149
click to vote
CHARME
2005
Springer
16 years 13 days ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...
172
click to vote
FASE
2005
Springer
16 years 13 days ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...