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.3.2 2016-11-25 gappalib-coq - Release Notes gappalib-coq 1.3.2 - Download
gappa 1.3.1 2016-11-25 gappa - Release Notes gappa 1.3.1 - Download
Public Tools
Tracker  Tracker
SCM Repository (Git: 892 updates, 52 adds)