Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software Krakatoa
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
Software & patents
DNADNA
Deep Neural Networks for DNA

TOUCHTOKENS
Low-cost Solution for Tangible Interfaces

LODATLAS
Browsing Linked Data Catalogs with LODAtlas