Home My Page Projects Gappa
Summary Activity Tracker SCM Files

Project description

Tool for verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. It can be used either directly or as a back-end for other tools, e.g. Coq or Why.

Latest File Releases
Package Version Date Notes Download
interval 1.0.0 2014-04-03 interval - Release Notes interval 1.0.0 - Download
gappalib-coq 1.4.4 2020-06-13 gappalib-coq - Release Notes gappalib-coq 1.4.4 - Download
gappa 1.3.5 2019-05-24 gappa - Release Notes gappa 1.3.5 - Download
Public Tools
Tracker  Tracker
SCM Repository (Git: 938 updates, 54 adds)