3b5c832dc4
Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.
3 lines
152 B
Text
3 lines
152 B
Text
Gappa is a tool intended to help verifying and formally proving
|
|
properties on numerical programs dealing with floating-point or
|
|
fixed-point arithmetic.
|