Project-Team Celtique

Overall Objectives
Scientific Foundations
New Results
Contracts and Grants with Industry
Partnerships and Cooperations
PDF e-pub XML

Section: Contracts and Grants with Industry

The FRAE ASCERT project

Participants : Frédéric Besson, Sandrine Blazy, David Cachera, Thomas Jensen, David Pichardie, Pierre-Emmanuel Cornilleau.

The ASCERT project (2009–20012) is founded by the Fondation de Recherche pour l'Aéronautique et l'Espace. It aims at studying the formal certification of static analysis using and comparing various approaches like certified programming of static analysers, checking of static analysis result and deductive verification of analysis results. It is a joint project with the INRIA teams Abstraction , Gallium and POP-ART .