Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel The Coquelicot library
The Coquelicot library - The Coquelicot library
Date de dernière version : 07 septembre 2017

Responsable : BOLDO Sylvie




Pour en savoir plus: http://coquelicot.saclay.inria.fr/

Logiciel



Activités de recherche
  Formalisation de langages (de spécification et de programmation) dans les assistants de preuve

Membres
  BOLDO Sylvie
  MELQUIOND Guillaume
  LELAY Catherine

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

Equipe-projet Inria
  Toccata
Logiciels et brevets
CODALAB
open source framework for running competitions

DNADNA
Deep Neural Architectures for DNA

CARTOLABE
CARTOLABE