Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel Datacert
Datacert - DataCert: A coq library for Data Intensive Languages and Systems Certification
Date de dernière version : 12 avril 2014

Responsable : CONTEJEAN Evelyne






Logiciel - Licence : CeCILL



Activités de recherche
  Langages et systèmes centrés données

Membres
  BENZAKEN Véronique
  DUMBRAVA Stéfania Gabriela

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

Equipe-projet Inria
  Toccata
Logiciels et brevets
SMARTIES
The Smarties Input System

PINT
Static analyzer for dynamics of Automata Networks

SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes