DI - Ecole Normale Supérieure
J'ai effectué mon stage de D.E.A. au sein de l'équipe Sémantique, preuve et interprétation abstraite du Laboratoire d'informatique de l'École polytechnique .
J'ai conçu une analise pour la totalité du Pi-calcul, qui permet non seulement d'optenir une description non uniforme de la topologie des interactions entre les processus d'un système mobile, mais aussi une description des ressources réelles nécessaires à simuler de ce système.
Le prototype est en cours de finition, puisqu'il reste à programmer l'interprétation des résultats. Néanmoins, vous pouvez consulter des exemples de résultats optenues avec ce prototype, ou utiliser l' ancienne version de ce prototype.