Coverif

Contact : Antoine.Mine (at) nulllip6.fr
Du 01/10/2015 au 30/09/2020

Vers une combinaison de l'interprétation abstraite et de la programmation par contraintes pour la v"réification de propriété critiques pour des programmes embarqués avec des calculs en virgule flottante

CNRS IDF SECTEUR OUEST NORD,CNRS CENTRE REGIONAL COTE D'AZUR,UNIVERSITE DE NANTES
ANR

Antoine MINE