Contradictory antecedent debugging in bounded model checking.

Daniel Große Robert Wille Ulrich Kühne Rolf Drechsler

Published in: ACM Great Lakes Symposium on VLSI (2009)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
model based diagnosis
multi agent systems
hardware designs
general purpose
rule extraction
fault localization
search algorithm
software testing
finite state
java programs
novice programmers