Ramarathnam Venkatesan. Constraint-based invariant inference over predicate abstraction (2009)

by Sumit Gulwani, Saurabh Srivastava
Venue:In Verification, Model Checking, and Abstract Interpretation (VMCAI), volume 5403 of LNCS