Checking roundoff errors using counterexample-guided narrowing

Authors:
Do Thi Bich Ngoc;Mizuhito Ogawa
Affiliations:
Japan Advanced Institute of Science and Technology, Nomi, Japan;Japan Advanced Institute of Science and Technology, Nomi, Japan
Venue:
Proceedings of the IEEE/ACM international conference on Automated software engineering
Year:
2010

Citing 7
Cited 1

Static Analysis of the Numerical Stability of Loops

SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Probabilistic interval-valued computation: representing and reasoning about uncertainty in dsp and vlsi design

Probabilistic interval-valued computation: representing and reasoning about uncertainty in dsp and vlsi design
Semantics of roundoff error propagation in finite precision calculations

Higher-Order and Symbolic Computation
A java simulation tool for fixed-point system design

Proceedings of the 2nd International Conference on Simulation Tools and Techniques
Overflow and Roundoff Error Analysis via Model Checking

SEFM '09 Proceedings of the 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
Static analysis of numerical algorithms

SAS'06 Proceedings of the 13th international conference on Static Analysis
Under-approximations of computations in real numbers based on generalized affine arithmetic

SAS'07 Proceedings of the 14th international conference on Static Analysis

SMT for Polynomial Constraints on Real Numbers

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper proposes a counterexample-guided narrowing approach, which mutually refines analyses and testing if (possibly spurious) counterexamples are found. A prototype tool CANAT for checking roundoff errors between floating point and fixed point numbers is reported with preliminary experiments.