gappa

Tool intended for formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic
Description
Install
Published
07 Oct 2021
Sources
gappa-1.4.0.tar.gz
sha512=d5ed841fc8def27ae3973c97d9a242e2fe4997888d3a8c2d46029aab2c5311ec5d0df3a0780fc88eead20d6aa4b34122c9bb8d290f3a2b4886488f34602d43c7
Dependencies
Reverse Dependencies