Fiche Logiciel - Gappa
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é.