Fiche d'un projet ANR
45622Vers une combinaison de l'interprétation abstraite et de la programmation par contraintes pour la vérification de propriétés critiques pour des programmes embarqués avec des calculs en virgule flottante [En savoir plus]Coverif - ANR-15-CE25-0002
AAPG2015 - 2015