Section: Contracts and Grants with Industry
The FRAE ASCERT project
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 .