EN FR
EN FR


Section: Bilateral 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.

Static program analysis, Certified static analysis

The ASCERT project (2009–2012) 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 .