Gallium

Grants and contracts

Ongoing grants

ADN4SE
(process and tools to support the rapid development of embedded software
with strong safety constraints).
Fonds national pour la Société Numérique, BGLE call, 2012-2016.

BWare
(mechanized framework to support the automated verification of proof obligations coming from the development of industrial applications using the B method and requiring high guarantees of confidence).
ANR-12-INSE-0010, 2012-2016).