Français Anglais
Accueil Annuaire Plan du site
Production scientifique
Contrat de l'équipe Toccata
FOST

ANR
Janv. 2009 - Déc. 2011

Equipe : Toccata
Responsable : BOLDO Sylvie

Gestionnaire : 
Organisme gérant : INRIA

FOST

FOST est un projet ANR (Formal prOofs about Scientific compuTations) qui vise à développer et appliquer des méthodes pour formellement prouver la correction de programmes issus de l'analyse numérique.

Activités de recherche
  Preuve de programme
  Arithmétique flottante
  Formalisation et preuves de programmes numériques

Membres LRI
FILLIÂTRE Jean-Christophe
BOLDO Sylvie
MELQUIOND Guillaume


Pour en savoir plus : http://fost.saclay.inria.fr/
Contrats
° IUF
FABIO MARTIGNON
SUBVENTION

° DIGISCOPE UPS
INFRASTRUCTURE HAUTE PERFORMANCE POUR LA VISUALISATION INTERACTIVE ET COLLABORATIVE
ANR

° DIGISCOPE CNRS
INFRASTRUCTURE HAUTE PERFORMANCE POUR LA VISUALISATION INTERACTIVE ET COLLABORATIVE
ANR

° ATOS/BULL
CONTRAT ATOS/BULL
INDUSTRIEL

° CDS2
CDS2
SUBVENTION