Team Gallium

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

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.


previous
next

Logo Inria