Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely
Abstract elided by the publisher.
Related papers
- Formally Verified Switching Logic for Recoverability of Aircraft Controller CAV 2021
- A Fresh Look at Zones and Octagons TOPLAS 2021
- Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation PLDI 2026
- Solving systems of rational equations through strategy iteration TOPLAS 2011
- An Abstract Domain to Infer Types over Zones in Spreadsheets SAS 2012
- QAV-FT: Quadratic Approximation-Based Neural Network Verification via Fourier Series and Taylor Truncation CAV 2026
- Lower and Upper Bounds in Zone Based Abstractions of Timed Automata TACAS 2004
- Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time TACAS 2022