Propositional Interpolation and Abstract Interpretation
Abstract elided by the publisher.
Related papers
- Effectively Propositional Interpolants CAV 2016
- UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution) TACAS 2013
- Generating Non-linear Interpolants by Semidefinite Programming CAV 2013
- Bit-Precise Interpolation in Bitwuzla TACAS 2026
- Interpolation-Based Semantic Gate Extraction and Its Applications to QBF Preprocessing CAV 2020
- A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency OOPSLA 2022
- Lazy Abstraction with Interpolants CAV 2006
- Abstracting Induction by Extrapolation and Interpolation VMCAI 2015