Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR).

Johannes Birgmeier, Aaron R. Bradley, Georg Weissenbacher

Browse the full CAV paper archive.