Constraint-Based Invariant Inference over Predicate Abstraction

In  VMCAI

Details

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