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

ANR
Dec 2005 - Jun 2009

Group : Toccata
Principal investigator : FILLIÂTRE Jean-Christophe

Administrator : 
Affiliation : CNRS

Certification of numerical analysis programs

This project aims at developping and applying methods which allow to formally prove the soundness of programs from numerical analysis. We are more precisely working on problems related to the verification of floating point algorithms.

Research activities
  Program proof
  Floating-point arithmetic

Participants
FILLIÂTRE Jean-Christophe
BOLDO Sylvie


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

° NEXT
NEXT