Équipe : MoVe - Modélisation et Vérification
Responsable : Fabrice Kordon
Site Jussieu 25-26/212
Brève présentation
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 :
- Techniques optimisées de vérification formelle par model checking,
- Méthodologies de développement basées sur l'ingénierie dirigée par les modèles,
- Intégration de l'analyse formelle dans les processus de développement,
- Conception et implantation de nouveaux langages et modèles de programmation pour accroître la vérifiabilité de programmes répartis.
Mots clés
Ingénierie des modèles, Modélisation, Réseaux de Petri, Model Checking, Génération de programme, Meta-modélisation
Contact
Fabrice.Kordon (at) lip6.fr
