Combining Formal Analyses for the Study of Numerical Invariants (ANR INS 2013-2016)
Swarms of drones (AID 2019-2021)
Formal and Exhaustive Analysis of Numerical Intensive Control Software for Embedded Systems (ANR JCJC 2018-2022)
Synthèse de code en virgule fixe (Région Occitanie 2019-2021)
Verified fast optimization for embedded control (ANR ASTRID 2013-2016)
An example of using the in-built project page.