past_project

CAFEIN

Combining Formal Analyses for the Study of Numerical Invariants (ANR INS 2013-2016)

VORACE

Verified fast optimization for embedded control (ANR ASTRID 2013-2016)