Indexed Predicate Discovery for Unbounded System Verification (2004)

by S K Lahiri, R E Bryant
Venue:Computer Aided Verification (CAV ’04), LNCS 3114