1 research outputs found
Checking Roundoff Errors using Counterexample-Guided Narrowing
This paper proposes a counterexample-guided narrowing approach、which combines static analysis and testing、 to make them refine eachother. A prototype tool CANAT for checking roundoff errors betweenfloating point and fixed point numbers is reported with preliminary experiments