Constraint-Based Invariant Inference over Predicate Abstraction

Sumit Gulwani, Saurabh Srivastava, and Ramarathnam Venkatesan

Details

Publication typeInproceedings
Published inVMCAI
Pages120-135
> Publications > Constraint-Based Invariant Inference over Predicate Abstraction