Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
ALEA
ALEA - ALEA : A library for reasoning on random algorithms in Coq


Person in charge : PAULIN-MOHRING Christine




More information: http://www.lri.fr/~paulin/ALEA/HTML/





Research activities
  Program proof
  Formalisation of (Specification and Programming) Languages in Proof Assistants

Members
  PAULIN-MOHRING Christine
  BAELDE David

Group
  Verification of Algorithms, Languages and Systems
Software & patents
TAXOMAP ALIGNMENT
A prototype to automate semantic mappings between taxonomies

BSP++
The C++ Bulk Synchronous Parallelism Library

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