Predicate generation for learning-based quantifier-free loop invariant inference

DOI10.2168/LMCS-8(3:25)2012MaRDI QIDQ5894958zbMATH OpenFDO

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

Publication date 22 October 2012

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

Full work available at URL https://doi.org/10.2168/LMCS-8(3:25)2012

zbMATH Keywords

algorithmic learninginterpolationloop invariancepredicate generation

Mathematics Subject Classification ID

Computational learning theory (68Q32)

Recommendations

• Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference
• Automatically inferring loop invariants via algorithmic learning
• Deriving invariants by algorithmic learning, decision procedures, and predicate abstraction
• Predicate abstraction for software verification
• Constraint-Based Invariant Inference over Predicate Abstraction

Cited in

(3)

• Deriving invariants by algorithmic learning, decision procedures, and predicate abstraction
• Automatically inferring loop invariants via algorithmic learning
• Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

Describes a project that uses

Uses Software

• CSIsat
• Yices
• FOCI

This page was built for publication: Predicate generation for learning-based quantifier-free loop invariant inference

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5894958)