Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction
From MaRDI portal
Publication:3656883
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
Related Items
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