L'équipe MoVe centre ses recherches sur la modélisation et l'analyse de systèmes répartis complexes et dynamiques.
En particulier, nous nous focalisons sur les aspects suivants :
- les techniques optimisées de vérification formelle par model checking,
- les méthodologies de développement basées sur l'ingénierie dirigée par les modèles,
- l'intégration de l'analyse formelle dans les processus de développement,
- la conception et l'implantation de nouveaux langages et modèles de programmation pour accroître la vérifiabilité de programmes répartis.
Auto-évaluation
Archives
Soutenances de thèse