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.