SAFE : Stochastic Arithmetic with Flexible Exponent
Équipe : PEQUANSAFE permet d'estimer les erreurs d'arrondi et de détecter les instabilités numériques dans les programmes où les nombres flottants ont une mantisse et un exposant de taille arbitraire.
Responsable : Fabienne JEZEQUELhttps://www-pequan.lip6.fr/~jezequel/SAFE