From Under-Approximations to Over-Approximations and Back
No abstract available.
Related papers
- Closed and Logical Relations for Over- and Under-Approximation of Powersets SAS 2004
- Verification of Real-Time Systems by Successive Over and Under Approximation CAV 1995
- Backward Analysis via over-Approximate Abstraction and under-Approximate Subtraction SAS 2014
- Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back OOPSLA 2025
- Limits and Difficulties in the Design of Under-Approximation Abstract Domains TOPLAS 2024
- Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search PLDI 2025
- A Program Logic for Under-approximating Worst-case Resource Usage ESOP 2026
- Under-Approximation for Scalable Bug Detection (Keynote) CPP 2024