DI - Ecole Normale Supérieure
J'ai effectué mon stage de maitrise au sein de l'équipe Sémantique, preuve et interprétation abstraite du Laboratoire d'informatique de l'École polytechnique .
Mon stage consistait à implanter l'analyse proposée par Arnaud Venet à Pise pour SAS'98 , dans son article Automatic Determination of Communication Topologies in Mobile Systems .
J'ai d'ailleurs effectué une démonstration du prototype que j'ai réalisé lors de ce stage à cette conférence.
Un script CGI permet d'utiliser le prototype. La version actuellement disponible est la version 1.08.
Voici quelques exemples de fichiers analysés :