Jump to Content

Induction in CEGAR for Detecting Counterexamples

Chao Wang
Aarti Gupta
FMCAD (2007), pp. 77-84

Abstract

Research Areas