Making the most of BMC counterexamples (Electronic Notes in Theoretical Computer Science, 2005)

(untitled) - Groce, A; Kroening, D