Checking roundoff errors using counterexample-guided narrowing

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.

BibTeX

@inproceedings{Ngoc-Ogawa:ASE10,
  author    = {Do Thi Bich Ngoc and
               Mizuhito Ogawa},
  title     = {Checking roundoff errors using counterexample-guided narrowing},
  booktitle = {ASE},
  pages     = {301--304},
  publisher = {{ACM}},
  year      = {2010},
}

Checking roundoff errors using counterexample-guided narrowing

Abstract

Related papers