Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction
From MaRDI portal
Publication:3656883
DOI10.1007/978-3-642-11319-2_15zbMath1248.68272MaRDI 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
68Q32: Computational learning theory
Related Items
Automatically inferring loop invariants via algorithmic learning, Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference, From invariant checking to invariant inference using randomized search, Lazy slicing for state-space exploration, Combining Model Checking and Data-Flow Analysis
Uses Software