most citedPredicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

3 citations · 3 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2012★ 3 cited

Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

Wonchan Lee, Yungbum Jung, Bow-yaw Wang +1

We address the predicate generation problem in the context of loop invariant inference. Motivated by the interpolation-based abstraction refinement technique, we apply the interpol…