É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/215Yann 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
Génération de programme Ingénierie des modèles Modélisation Réseaux de Petri Model Checking
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).
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("
![document.write("".replace(/[a-zA-Z]/g, function(c){return String.fromCharCode((c<="Z"?90:122)>=(c=c.charCodeAt(0)+13)?c:c-26);}));](https://nuage.lip6.fr/index.p...</span><br>
<span class='lieu'>Campus Pierre et Marie Curie (Amphi 25)</span><br><span class='lieu'><a href='https://mefosyloma.fr/j2026-01.html'>https://mefosyloma.fr/j2026-01.html</a></span> </div>
<div class='col-1'>
<a href='ical.php?ident=O1217'><img class='ics' src='../images/ics.png' title='Ajouter à votre agenda' alt='Ajouter à votre agenda'></a> </div>
</div>
<div class='row'>
<div class='col'>
<p><h2>Trois invités ces 12 derniers mois</h2>Mahmoud CHAARI, Anissa KHEIREDDINE, Ahmed Chawki CHAOUCHE.</p></div>
</div>
<footer class='footer-content fw-medium'>
<div class='row'>
<div class='col-sm-6 col-md-6 col-lg-3'>
<h1 class='fs-4 fw-semibold'>À propos</h1>
<a href='../carte/carte.php'rel='nofollow'>Carte du site</a><br>
<a href='../apropos.php'rel='nofollow'>Mentions légales</a></br>
</div>
<div class='col-sm-6 col-md-6 col-lg-3'>
<h1 class='fs-4 fw-semibold'>Contact</h1>
<script nonce=){kind=link}