A Sound Floating-Point Polyhedra Abstract Domain
No abstract available.
Related papers
- An abstract domain for certifying neural networks POPL 2019
- Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra SAS 2013
- Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors ESOP 2004
- Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables SAS 2010
- Floating-Point TVPI Abstract Domain PLDI 2024
- An Interval Compiler for Sound Floating-Point Computations CGO 2021
- An Efficient Abstract Domain for Not Necessarily Closed Polyhedra SAS 2018
- Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools VMCAI 2013