Français Anglais
Accueil Annuaire Plan du site
Research results
Contract / grant for group Toccata
FVOOS

Contrat europeen
May 2008 - Apr 2011

Group : Toccata
Principal investigator : MARCHÉ Claude

Administrator : 
Affiliation : INRIA

Formal Verification of Object-Oriented Programs

The aim of this action is to develop verification technology with the reach and power to assure dependability of object-oriented programs on industrial scale.

Research activities
  Program proof
  Object-Oriented Programming
  Formal Methods for Software Engineering

Participants


More information : http://www.cost-ic0701.org/
Contracts & grants
° SESAME DIGIPODS UPS
REMOTE COLLABORATIVE INTERACTION AMONG HETEROGENEOUS VISUALIZATION PLATFORMS
REGION IDF

° NEXT
NEXT