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

Yungbum Jung Wonchan Lee Bow-Yaw Wang Kwangkeun Yi

Published in: TACAS (2011)

Keyphrases

learning algorithm
efficient learning
database
search algorithm
first order logic
inductive inference