Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel Coq.FP2
Coq.FP2 - Coq.FP2
Date de dernière version : 03 octobre 2012

Responsable : BOLDO Sylvie




Pour en savoir plus: http://lipforge.ens-lyon.fr/www/pff/

Logiciel



Activités de recherche
  Preuve de programme
  Arithmétique flottante

Membres
  BOLDO Sylvie

Equipe
  Vérification d'Algorithmes, Langages et Systèmes

Equipe-projet Inria
  Toccata
Logiciels et brevets
BOLDR
Query Intermediate Representation Library

CARNAVAL
Database of RNA Recurrent Interaction Networks

PINT
Static analyzer for dynamics of Automata Networks