From Fedora Project Wiki
Beat is open
This beat is now ready to have Fedora 25 content added by the beat writer
This beat is now ready to have Fedora 25 content added by the beat writer
gappa
gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. Fedora 16 upgrades to version 0.15.0. The project's web site may be found at http://gappa.gforge.inria.fr/.