Invertible Linear Transforms of Numerical Abstract Domains
Abstract elided by the publisher.
Related papers
- Symbolic Methods to Enhance the Precision of Numerical Abstract Domains VMCAI 2006
- Fast Numerical Program Analysis with Reinforcement Learning CAV 2018
- Reconciling Partial and Local Invertibility ESOP 2024
- Formally Verified Linear-Time Invertible Lexing CAV 2026
- Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs TACAS 2025
- Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables SAS 2010
- A practical construction for decomposing numerical abstract domains POPL 2018
- Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors ESOP 2004