Automatic estimation of verified floating-point round-off errors via static analysis

M Moscato, L Titolo, A Dutle, CA Munoz - Computer Safety, Reliability, and …, 2017 - Springer
This paper introduces a static analysis technique for computing formally verified round-off
error bounds of floating-point functional expressions. The technique is based on a …
被引用次数：66 相关文章
[PDF] core.ac.uk

[PDF][PDF] Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis

M Moscato, L Titolo, A Dutle, CA Munoz - core.ac.uk
This paper introduces a static analysis technique for computing formally verified round-off
error bounds of floating-point functional expressions. The technique is based on a …

Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis

M Moscato, A Dutle, CA Munoz - International Conference on …, 2017 - ntrs.nasa.gov
This paper introduces a static analysis technique for computing formally verified round-off
error bounds of floating-point functional expressions. The technique is based on a …
[PDF] github.io

[PDF][PDF] Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis

M Moscato, L Titolo, A Dutle, CA Munoz - lauratitolo.github.io
This paper introduces a static analysis technique for computing formally verified round-off
error bounds of floating-point functional expressions. The technique is based on a …
[PDF] nasa.gov

[PDF][PDF] Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis

M Moscato, L Titolo, A Dutle, CA Munoz - shemesh.larc.nasa.gov
This paper introduces a static analysis technique for computing formally verified round-off
error bounds of floating-point functional expressions. The technique is based on a …