Fiche Logiciel - Gappa

Logo Logiciel par défaut

Gappa


Gappa est destiné à aider, à vérifier et à prouver formellement des propriétés sur des programmes numériques traitant de l'arithmétique en virgule flottante ou en virgule fixe.



Discipline(s): Non renseigné
Domaine(s) d'application: Non renseigné
Mot(s)-clé(s): Non renseigné

Aucun développeur associé.

Contact : Contact non renseingé


Aucun laboratoire associé.


Bibtex

Non renseigné.