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

DOI10.2168/LMCS-8(3:25)2012zbMath1248.68274MaRDI QIDQ5894958

Kwangkeun Yi, Yungbum Jung, Wonchan Lee, Bow-Yaw Wang

Publication date: 22 October 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

interpolationalgorithmic learningloop invariancepredicate generation

Mathematics Subject Classification ID

Computational learning theory (68Q32)

Uses Software

• Yices
• CSIsat
• FOCI

This page was built for publication: Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference