ALEA - ALEA : A library for reasoning on random algorithms in Coq
Date de dernière version : 01 janvier 2014

Responsable : PAULIN-MOHRING Christine




Pour en savoir plus: http://www.lri.fr/~paulin/ALEA/HTML/

Logiciel



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

Membres
  PAULIN-MOHRING Christine
  BAELDE David

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

Equipe-projet Inria
  Toccata

CODALAB
open source framework for running competitions

DNADNA
Deep Neural Architectures for DNA

CARTOLABE
CARTOLABE