Séminaire : « Program Development Using Abstract Interpretation »
Laboratoire LCIS 50 Rue Barthélémy de Laffemas, Valence, FrancePrésentation par Laure GONNORD et Christophe DELEUZE Mercredi 13 avril à 16h15, Laure GONNORD et Christophe DELEUZE ont présenté le séminaire qui avait pour thème "Program Development Using Abstract Interpretation". Abstract:Abstract Interpretation is a very useful framework to infer properties of programs, which has shown its effectivity in proving safety of critical code like airplane […]