Project leader
Ecole Polytechnique de PalaiseauPartners
I3S - Université Nice Sophia Antipolis, ENS Cachan, Université de NantesFunders
ANR,
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.