455 search results - page 1 / 91 » Understanding Counterexamples with explain |
CAV
2004
Springer
13 years 9 months ago
2004
Springer
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
ICCAD
2007
IEEE
14 years 1 months ago
2007
IEEE
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
CAV
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
SIGSOFT
2004
ACM
13 years 9 months ago
2004
ACM
SPIN
2012
Springer
11 years 6 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...