Indexed predicate discovery for unbounded system verification (2004)

by S K Lahiri, R E Bryant
Venue:CAV 2004, pages 135– 147. LNCS 3114