@inproceedings{gou-put-07-aa-under,
  author = {Goubault, Eric and Putot, Sylvie},
  title = {Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic},
  booktitle = {Static Analysis - Proc. International Static Analysis Symposium SAS 2007},
  series = {LNCS},
  volume = {4634},
  year = 2007,
  pages = {137--152},
  abstract = {We build a new, implicitly relational abstract domain which gives accurate under-approximations of the set of real values that program variables can take. This statement is demonstrated both on a theoretical basis and on non-trivial numerical examples. It is, we believe, the first non-trivial under-approximating numerical domain in the static analysis literature.},
  isbn = {978-3-540-74061-2},
  doi = {10.1007/978-3-540-74061-2_9}
}