Sound numerical computations in abstract acceleration
Soundness is a major objective for verification tools. Methods that use exact arithmetic or symbolic representations are often prohibitively slow and do not scale past small examples. We propose the use of numerical oating-point computations to improve performance combined with an interval analysis...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer Verlag
2017
|