Home » Code » Guillaume Melqulond and Gappa

Guillaume Melqulond and Gappa

Guillaume Melquiond, User’s Guide for Gappa, here.

Gappa (Génération Automatique de Preuves de Propriétés Arithmétiques — automatic proof generation of arithmetic proper- ties) is a tool intended to help verifying and formally proving properties on numerical programs and circuits handling floating- point or fixed-point arithmetic.

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: