Linear Absolute Value Relation Analysis
Abstract elided by the publisher.
Related papers
- An Abstract Domain to Infer Octagonal Constraints with Absolute Value SAS 2014
- Finite differencing of logical formulas for static analysis TOPLAS 2010
- Precise interprocedural analysis through linear algebra POPL 2004
- A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis SAS 2018
- Constraint-Based Linear-Relations Analysis SAS 2004
- Combining Widening and Acceleration in Linear Relation Analysis SAS 2006
- Cartesian Factoring of Polyhedra in Linear Relation Analysis SAS 2003
- Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs CAV 2015