Accueil
>
Production scientifique
>
Tous les contrats
> Contrat
Présentation
Equipes
Collaborations
Production scientifique
Résultats majeurs
Contrats
Logiciels & Brevets
Thèses et habilitations
Publications du LRI
Publications internes
Recrutements
Formation
Informations pratiques
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
°
SESAME DIGIPODS UPS
INTERACTION COLLABORATIVE à DISTANCE ENTRE PLATEFORMES DE VISUALISATION HéTéROGèNES
REGION IDF
> tous les contrats
