Department of Information Technology

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.

Back to the seminar page

Updated  2010-08-16 13:09:35 by Frédéric Haziza.