Team Gallium

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Other Grants and Activities

National initiatives

The Gallium project participates in the “U3CAT” project of the Arpège programme of Agence Nationale de la Recherche. This 3-year action (2009-2011) is coordinated by CEA LIST and focuses on program verification tools for critical embedded C codes. Xavier Leroy is involved in this project on issues related to memory models and formal semantics for the C language, at the interface between compilers and verification tools.

Xavier Leroy participates in the “Ascert” project (2009-2011), coordinated by David Pichardie at INRIA Rennes and funded by Fondation de Recherche pour l'Aéronautique et l'Espace. The objective of Ascert is the formal verification of static analyzers.


Logo Inria