Krakatoa - Krakatoa Tool for Java Program Verification
Date of the last release: 24 November 2011

Person in charge : MARCHÉ Claude




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

Software - Licence : LGPL



Research activities
  Program proof
  Object-Oriented Programming

Members
  MARCHÉ Claude
  PAULIN-MOHRING Christine
  ROUSSET Nicolas

Group
  Verification of Algorithms, Languages and Systems

Joint Inria project team
  Toccata

CODALAB
Codalab

DNADNA
Deep Neural Architectures for DNA

CARTOLABE
CARTOLABE