Projects
Ongoing projects
Old projects
- Cepromi Certification de Programmes Manipulant la Mémoire (INRIA ARC, 01/2008-12/2009)
- A3PAT Assister automatiquement les assistants de
preuve avec des traces (ANR Programme Blanc 12/2005-12/2008)
- CAT C Analysis Toolbox (ANR RNTL 01/2006-12/2008)
- CERPAN Certification de Programmes numériques (ANR Programme Blanc, 12/2005-12/2008)
- PFC Plate-forme de Confiance (FCE 01/2007-06/2009, competitive cluster System@tic)
- TYPES (European Coordination Action 09/2004-04/2008)
- ALIDECS
- GECCOO Génération de code certifié pour des applications orientées objet
Spécification, raffinement, preuve et détection d'erreurs (ACI Sécurité, 07/2003-12/2006)
- AVERROES Vérification de propriétés
quantitatives et fonctionnelles (RNTL 09/2002-03/2006)
- VERIFICARD tool-assisted specification and verification of JavaCard programs (European IST project 01/2001-09/2003)