Lazy Abstraction with Interpolants
No abstract available.
DOI 10.1007/11817963_14
Related papers
- Accelerated Bounded Model Checking Using Interpolation Based Summaries TACAS 2024
- Space-Time Interpolants CAV 2018
- Alternating Automata Modulo First Order Theories CAV 2019
- Propositional Interpolation and Abstract Interpretation ESOP 2010
- Abstracting Induction by Extrapolation and Interpolation VMCAI 2015
- Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking TACAS 2006
- Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems TACAS 2006
- Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification CAV 2012