gappa

Tool intended for formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic
IN THIS PACKAGE
Empty package map