Génie Logiciel · Méthodes formelles · Vérification de systèmes
Intégration des modèles dans le processus de développement de systèmes.
Modélisation et Vérification formelles de systèmes à base d’événements.
Vérification de systèmes par des approches basées sur le raffinement et sur la preuve.