DMCA

Constructing Quantified Invariants via Predicate Abstraction (2004)

by Shuvendu K. Lahiri , Randal E. Bryant
Venue:CONFERENCE ON VERIFICATION, MODEL CHECKING AND ABSTRACT INTERPRETATION (VMCAI ’04), LNCS 2937
Citations:39 - 7 self