Séminaire : « Program Development Using Abstract Interpretation »
Séminaire : « Program Development Using Abstract Interpretation »
Pré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 […]
