Sylvain Lippi
INRIA Sophia Antipolis
2004 Route des Lucioles - BP 93
06902 Sophia Antipolis Cedex
France
tél : +33 (0) 4 92 38 79 76
email : Sylvain.Lippi à sophia.inria.fr
Dernière
modification : mardi 9 novembre
Actuellement en postdoc dans le projet EVEREST, je m'intéresse
aux spécifications et aux preuves de correction de composants
systèmes sécurisés tels que contrôleurs
d'accès, gestionnaires de transactions ou protocoles de
communication.
Mots-clés : Java, JML, Jack, POPS,
sécurité, preuves.