MoVe
[Séminaire MoVe] Yann Thierry-Mieg (MoVe, LIP6) : Modélisation et vérification de systèmes complexes.
Jeudi 7 mai 2026Yann Thierry-Mieg (MoVe, LIP6)
Cet exposé présentera les grandes lignes de mon travail, depuis les diagrammes de décisions hiérarchiques à des langages de haut niveau (GAL/ITS) pour la modélisation des systèmes.
L'exposé sera peu technique; il balaiera quelques résultats anciens (pre 2015) et certains plus récents mélant des surapproximations SMT, des sous approximations (heuristiques) et des réductions structurelles.
L'ensemble de ces méthodes sert l'objectif d'analyser des systèmes complexes, typiquement concurrents, et de prouver formellement des propriétés sur leurs comportements possibles.
Plus d’informations ici …
Dylan.Marinho (at)
nulllip6.fr