Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel Gappa
Gappa - Outil Gappa de certification de programmes numériques
Date de dernière version : 10 janvier 2014

Responsable : MELQUIOND Guillaume


Gappa est un outil dédié à la vérification et à la preuve formelle des propriétés de programmes numériques s\'appuyant sur de l\'arithmétique à virgule flottante ou fixe. Il a été utilisé pour écrire des filtres flottants robustes pour CGAL et pour certifier les fonctions élémentaires de CRlibm.
Il a été principalement développé pendant la thèse de G. Melquiond à l\'École Normale Supérieure de Lyon.

Pour en savoir plus: http://gappa.gforge.inria.fr/

Logiciel - Licence : CeCILL



Activités de recherche
  Preuve de programme
  Arithmétique flottante
  Démonstration automatique, SMT et applications
  Formalisation et preuves de programmes numériques

Membres
  MELQUIOND Guillaume

Equipe
  Vérification d'Algorithmes, Langages et Systèmes

Equipe-projet Inria
  Toccata
Logiciels et brevets
SMARTIES
The Smarties Input System

PINT
Static analyzer for dynamics of Automata Networks

SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes