Constructing Quantified Invariants via Predicate Abstraction.

Shuvendu K. Lahiri, Randal E. Bryant

Browse the full VMCAI paper archive.