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…