Fran├žais Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software Coq.FP2
Coq.FP2 - Coq.FP2
Date of the last release: 03 October 2012

Person in charge : BOLDO Sylvie




More information: http://lipforge.ens-lyon.fr/www/pff/

Software



Research activities
  Program proof
  Floating-point arithmetic

Members
  BOLDO Sylvie

Group
  Verification of Algorithms, Languages and Systems

Joint Inria project team
  Toccata
Software & patents
CODALAB
Codalab

DNADNA
Deep Neural Architectures for DNA

CARTOLABE
CARTOLABE