Caduceus - Caduceus Tool for C Program Verification
Date of the last release: 17 September 2004

Person in charge : FILLIÂTRE Jean-Christophe




More information: http://caduceus.lri.fr

Software



Research activities
  Program proof

Members
  FILLIÂTRE Jean-Christophe
  MARCHÉ Claude
  HUBERT Thierry
  BOLDO Sylvie
  MOY Yannick

Group
  Toccata

Joint Inria project team
  Toccata

CODALAB
Codalab

DNADNA
Deep Neural Architectures for DNA

CARTOLABE
CARTOLABE