Équipe : MoVe - Modélisation et Vérification

Axes : SSR (👥👥), ASN (👥), TMC (👥).

Co-Responsables :

Jean-François Pradat-Peyre Campus Pierre et Marie Curie 25-26/215
Yann Thierry-Mieg Campus Pierre et Marie Curie 25-26/210

Effectif

Vingt-deux enseignants-chercheurs et chercheurs, six doctorants.

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 :

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

Mots-clés

Modélisation Réseaux de Petri Model Checking Génération de programme Ingénierie des modèles

16/01/2026

14 h : Séminaire LLM
Yann THIERRY-MIEG (LIP6)
Large Language Models (LLMs) have become impossible to ignore regardless of one's field or role. As an early adopter, I have explored their use in teaching, research, and development. This talk will explore practical applications including creating teaching materials (very helpfu...

https://www.informatik.uni-hamburg.de/TG...

23/01/2026

8 h : Les 20 ans de MeFoSyLoMa
Le groupe MeFoSyLoMa, regroupant les équipes de recherche franciliennes autour des méthodes formelles, organise un séminaire pour célébrer ses 20 ans le vendredi 23 janvier 2026 au LIP6 (Amphi 25).

La participation est gratuite, mais l'document.write("".replace(/[a-zA-Z]/g, function(c){return String.fromCharCode((c<="Z"?90:122)>=(c=c.charCodeAt(0)+13)?c:c-26);})); 48.8469752;2.3543572 LIP6 Boîte courrier 169 Tour 26, Couloir 26-00, 2^e étage 4 place Jussieu 75252 Paris Cedex 05 France https://www.lip6.fr

Nous suivre

S‘abonner à notre Newsletter