Accueil
>
Production scientifique
> Logiciels et brevets
Présentation
Equipes
Collaborations
Production scientifique
Résultats majeurs
Contrats
Logiciels & Brevets
Thèses et habilitations
Publications du LRI
Publications internes
Recrutements
Formation
Informations pratiques
Logiciel Caduceus
Caduceus - Outil Caduceus de vérification de programmes C
Date de dernière version : 17 septembre 2004
Responsable :
FILLIÂTRE Jean-Christophe
Pour en savoir plus:
http://caduceus.lri.fr
Logiciel
Activités de recherche
Preuve de programme
Membres
FILLIÂTRE Jean-Christophe
MARCHÉ Claude
HUBERT Thierry
BOLDO Sylvie
MOY Yannick
Equipe
Toccata
Equipe-projet Inria
Toccata
Logiciels et brevets
CODALAB
open source framework for running competitions
DNADNA
Deep Neural Architectures for DNA
CARTOLABE
CARTOLABE
> tous les logiciels
