gappa

Tool intended for formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic