A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis
No abstract available.
Related papers
- Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors ESOP 2004
- Program Analysis with Local Policy Iteration VMCAI 2016
- Fast polyhedra abstract domain POPL 2017
- Making numerical program analysis fast PLDI 2015
- Floating-Point TVPI Abstract Domain PLDI 2024
- An Abstract Domain for Trees with Numeric Relations ESOP 2019
- Learning fast and precise numerical analysis PLDI 2020
- Symbolic Methods to Enhance the Precision of Numerical Abstract Domains VMCAI 2006