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

BSP++
The C++ Bulk Synchronous Parallelism Library

TAXOMAP ALIGNMENT
A prototype to automate semantic mappings between taxonomies

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