./math/gappa, Formal verification tool for numerical programs

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: pkgsrc-2021Q4, Version: 1.3.5, Package name: gappa-1.3.5, Maintainer: pkgsrc-users

Gappa is a tool intended to help verifying and formally proving
properties on numerical programs dealing with floating-point or
fixed-point arithmetic.

Master sites:

Filesize: 402.858 KB

Version history: (Expand)