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

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/