Home
>
Research results
>
Contracts & grants
> Contract
About LRI
Groups
Collaborations
Research results
Highlights
Contracts & grants
Software & patents
Ph.D. dissertations & faculty habilitations
LRI Publications
Internal Publications
Open positions
Teaching
Useful informations
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
°
SESAME DIGIPODS UPS
REMOTE COLLABORATIVE INTERACTION AMONG HETEROGENEOUS VISUALIZATION PLATFORMS
REGION IDF
> more contracts & grants
