Datacert - DataCert: A coq library for Data Intensive Languages and Systems Certification
Date of the last release: 12 April 2014

Person in charge : CONTEJEAN Evelyne


The Datacert library provides a Coq formalization of data intensive systems



Software - Licence : CeCILL



Research activities
  Data-Centric Languages and Systems

Members
  BENZAKEN Véronique
  DUMBRAVA Stéfania Gabriela

Group
  Verification of Algorithms, Languages and Systems

CODALAB
Codalab

DNADNA
Deep Neural Architectures for DNA

CARTOLABE
CARTOLABE