An Abstract Domain to Discover Interval Linear Equalities
Abstract elided by the publisher.
Related papers
- Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships SAS 2009
- 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
- Symbolic Methods to Enhance the Precision of Numerical Abstract Domains VMCAI 2006
- Discovering properties about arrays in simple programs PLDI 2008
- A Logical Product Approach to Zonotope Intersection CAV 2010
- An abstract domain for certifying neural networks POPL 2019
- Program Analysis with Local Policy Iteration VMCAI 2016