Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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