Constraint-Based Invariant Inference over Predicate Abstraction.

Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan

Browse the full VMCAI paper archive.