Induction in CEGAR for Detecting Counterexamples.

Chao Wang, Aarti Gupta, Franjo Ivancic

Browse the full FMCAD paper archive.