Français Anglais
Accueil Annuaire Plan du site
Research results
Contract / grant for group Toccata
FOST

ANR
Jan 2009 - Dec 2011

Group : Toccata
Principal investigator : BOLDO Sylvie

Administrator : 
Affiliation : INRIA

Formal prOofs about Scientific compuTations

FOST is an ANR project that stands for Formal prOofs about Scientific compuTations. FOST aims at developing and applying methods to formally prove the soundness of programs used in numerical analysis.

Research activities
  Program proof
  Floating-point arithmetic
  Formalisation and Proof of Numerical Programs

Participants
FILLIÂTRE Jean-Christophe
BOLDO Sylvie
MELQUIOND Guillaume


More information : http://fost.saclay.inria.fr/
Contracts & grants
° ATOS/BULL
ATOS/BULL CONTRACT
INDUSTRIEL

° DATACERT
DATACERT
ANR

° SESAME DIGIPODS UPS
REMOTE COLLABORATIVE INTERACTION AMONG HETEROGENEOUS VISUALIZATION PLATFORMS
REGION IDF

° ALGORE CELL
ALGORE CELL
ANR

° PARDI
PARDI
ANR