Checking Roundoff Errors using Counterexample-Guided Narrowing
- Speaker
Professor Mizuhito Ogawa
, Japanese Advanced Institute of Science and Technology
- Date and Time
Tuesday, September 28th, 2010 at 10:30
- Location
Polacksbacken, room 1145
- Abstract
We propose 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.