| Domaines d'expertise | Equipe de recherche | Contact |
|---|---|---|
| Vérification de protocoles de sécurité | CASSIS | Michael Rusinowitch |
| Développement des formalismes et des techniques pour la spécification
et vérification des algorithmes concourant et distribués. Vérification de protocoles pour la protection de l'anonymat et de l'information privée |
COMETE | Catuscia Palamidessi |
| Tolérance aux pannes et sûreté de fonctionnement | GRAND LARGE | Franck Cappello |
| Vérification automatique de logiciels | LANDE | Thomas Jensen |
| Environnement de développement de preuves | LOGICAL | Gilles Dowek |
| Assistance au développement incrémental de systèmes par la preuve | MOSEL | Dominique Méry |
| Model checking, vérification | PARSIFAL | Dale Miller |
| Environnement de spécification et preuve de programmes Génération d'obligations de preuve |
PROVAL | Christine Paulin |
| Système pour la preuve de terminaison de programmes à base de règles | PROTHEO | Claude Kirchner |
| Sécurité des protocoles cryptographiques Détection d'intrusions, système ORCHIDS |
SECSI | Jean Goubault |
| Méthodes formelles pour la spécification et la validation de systèmes asynchrones | VASY | Hubert Garavel |
| Synthèse automatique de tests à base de modèles pour les systèmes réactifs | VERTECS | Thierry.Jeron |
