Induction in CEGAR for Detecting Counterexamples | IEEE Conference Publication | IEEE Xplore