Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel Krakatoa
Krakatoa - Outil Krakatoa de vérification de programmes Java
Date de dernière version : 24 novembre 2011

Responsable : MARCHÉ Claude




Pour en savoir plus: http://krakatoa.lri.fr

Logiciel - Licence : LGPL



Activités de recherche
  Preuve de programme
  Programmation orientée objet

Membres
  MARCHÉ Claude
  PAULIN-MOHRING Christine
  ROUSSET Nicolas

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