Numeric bounds analysis with conflict-driven learning
This paper presents a sound and complete analysis for determining the range of floating-point variables in control software. Existing approaches to bounds analysis either use convex abstract domains and are efficient but imprecise, or use floating-point decision procedures, and are precise but do no...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer
2012
|