Microsoft Research
Microsoft Translator |
Constraint-Based Invariant Inference over Predicate Abstraction

Sumit Gulwani, Saurabh Srivastava, and Ramarathnam Venkatesan
2009

In  VMCAI

Details

TypeInproceedings
Pages120-135
> Publications > Constraint-Based Invariant Inference over Predicate Abstraction