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

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


Branch: pkgsrc-2021Q1, 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:

SHA1: 440fe6bc589dcd4b189955fa2df09724aa1f3b10
RMD160: 455c27178dfcf952f9c1754bd7a9c02f50dad501
Filesize: 402.858 KB

Version history: (Expand)