SAFE : Stochastic Arithmetic with Flexible Exponent

Team : PEQUAN

SAFE estimates rounding errors and detects numerical instabilities in programs using floating-point numbers with arbitrary mantissa-length and arbitrary exponent-length.

Software leader : Fabienne JEZEQUEL
https://www-pequan.lip6.fr/~jezequel/SAFE