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.
ANR TAPAS (2025-2029) — "Time-Aware Proof ASsistants"
ANR EBRP (2020-2026) — "Event-B Rodin Plus"
ANR IMPEX (2013-2018) — "IMPlicit and EXplicit semantics integration in proof based developments of discrete systems"