Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction

DOI10.1007/978-3-642-11319-2_15zbMath1248.68272OpenAlexW2158840741MaRDI QIDQ3656883

Bow-Yaw Wang, Kwangkeun Yi, Yungbum Jung, Soonho Kong

Publication date: 14 January 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-11319-2_15

Mathematics Subject Classification ID

Computational learning theory (68Q32)

Related Items (5)

Combining Model Checking and Data-Flow Analysis ⋮ Lazy slicing for state-space exploration ⋮ From invariant checking to invariant inference using randomized search ⋮ Automatically inferring loop invariants via algorithmic learning ⋮ Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

Uses Software

• InvGen

This page was built for publication: Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction