Automatically Refining Abstract Interpretations
Abstract elided by the publisher.
Related papers
- HMC: Verifying Functional Programs Using Abstract Interpreters CAV 2011
- Refining Abstract Interpretation-Based Static Analyses with Hints APLAS 2009
- Counterexample Driven Refinement for Abstract Interpretation TACAS 2006
- An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation TACAS 2005
- Abstraction Refinement-Guided Program Synthesis for Robot Learning from Demonstrations OOPSLA 2025
- Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement CAV 2004
- Dependency Analysis of Mobile Systems ESOP 2002
- Verification of high-level transformations with inductive refinement types GPCE 2018