Sollya
http://sollya.gforge.inria.fr/
 : both a tool environment and a library for safe floating-point code development.

Team : PEQUAN

Sollya is both a tool environment and a library for safe floating-point code development. It is particularily targeted to the automatized implementation of mathematical floating-point libraries (libm).

Software leader : Christoph LAUTER
http://sollya.gforge.inria.fr/