Under-Approximating Loops in C Programs for Fast Counterexample Detection.

Daniel Kroening, Matt Lewis, Georg Weissenbacher

Browse the full CAV paper archive.