The Coquelicot library - The Coquelicot library
Date de dépôt : 01 janvier 1970

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

BSP++
The C++ Bulk Synchronous Parallelism Library

TAXOMAP ALIGNMENT
Un outil d'alignement de taxonomies

FR1155729
Procédé pour l’extinction de routeurs dans un réseau de communications et routeur mettant en œuvre ce procédé