Projects

AItive

CAFEIN

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

Essaim de drones

Swarms of drones (AID 2019-2021)

FEANICSES

Formal and Exhaustive Analysis of Numerical Intensive Control Software for Embedded Systems (ANR JCJC 2018-2022)

SYFI

Synthèse de code en virgule fixe (Région Occitanie 2019-2021)

VORACE

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

Example Project

An example of using the in-built project page.