Project leader
Ecole Polytechnique de PalaiseauPartners
I3S - Université Nice Sophia Antipolis, ENS Cachan, Université de NantesFunders
ANR,![](https://www.pole-scs.org/wp-content/themes/polescs/assets/images/projet-innovant.png)
COVERIF
Towards a combination of abstract interpretation for embedded programs with floating point calculations
Towards a combination of abstract interpretation and programming by constraints for the checking of critical properties for programs embarked with floating-point calculations.