The project is funded by
The Royal Society for
two years 01/07/2004 -- 30/06/2006.
The aim is to develop improved methods,
based on abstract interpretation (AI), for detecting numerical instability
in software caused by the approximate binary or floating point
representations of numbers.
![[Chiara]](http://www.comp.leeds.ac.uk/hill/images/cooltext3006597.png)