Team celtique

Members
Overall Objectives
Scientific Foundations
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Contracts and Grants with Industry

Contracts 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 .


previous
next

Logo Inria