Contact English version

L'équipe ProVal s'est arrêtée à la fin août 2012, et renaît en une nouvelle équipe Toccata
Ces pages n'évoluent plus, suivez le lien ci-dessus pour les informations à jour sur notre équipe.

Gappa

http://gappa.gforge.inria.fr/

Tool for verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic


index