STL: conférence TE du vendredi 27 février

Posté le mercredi 2 janvier 2002


Vendredi 27/02/2009 à 14h00 amphi Durand

Conférencier : Monsieur Eric GOUBAULT.

Fonction : Chef de Laboratoire.

Entreprise : CEA Saclay.

Web : www.di.ens.fr/ goubault

Intitulé de la conférence : Validation de programmes par analyse statique

Description de la conférence : Dans cette exposé, j’introduirai la problématique de la validation de programmes, dans un contexte industriel. Je décrirai en particulier les méthodes basées sur l’interprétation abstraite, à travers des exemples simples, et la démonstration d’un outil (FLUCTUAT, développé au CEA, et utilisé par plusieurs industriels).


Autres Brèves