Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
No abstract available.
Related papers
- An Abstract Domain to Discover Interval Linear Equalities VMCAI 2010
- A Logical Product Approach to Zonotope Intersection CAV 2010
- A practical construction for decomposing numerical abstract domains POPL 2018
- An abstract domain for certifying neural networks POPL 2019
- Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables SAS 2010
- Space-Time Interpolants CAV 2018
- Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors ESOP 2004
- Solving systems of rational equations through strategy iteration TOPLAS 2011