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

ANR
Dec 2005 - Aug 2009

Group : Toccata
Principal investigator : FILLIÂTRE Jean-Christophe

Administrator : 
Affiliation : INRIA

C Analysis Toolbox

The goal of the project is to develop an open-source toolkit for analysing industrial-size C programs during development, verification,
maintenance and evolution. We address the following issues:
- reusability of components;
-threats detection (division by zero), fault propagation and proof of global properties;
- dependance analysis (control and data flow) for documentation and detection of the impact of modifications.

Research activities
  Verification
  Program proof
  Programming
  Logic

Participants
FILLIÂTRE Jean-Christophe
MARCHÉ Claude


Contracts & grants
° SESAME DIGIPODS UPS
REMOTE COLLABORATIVE INTERACTION AMONG HETEROGENEOUS VISUALIZATION PLATFORMS
REGION IDF

° NEXT
NEXT