Vérification de modèles quantitatifs
le 13 mars 2018
15h30 - 17h30
ENS Rennes, Salle du conseil
Plan d'accès
Intervention de Patricia Bouyer-Decitre (directrice de recherches CNRS, LSV, ENS Paris-Saclay), dans le cadre des séminaires du département Informatique et télécommunications.
Dans cet exposé, nous nous intéressons à la vérification de systèmes complexes, c'est-à-dire de systèmes soumis à de multiples contraintes quantitatives. Nous baserons notre exposé sur le modèle des automates temporisés, qui a vu le jour dans les années 1990 et qui permet de représenter des systèmes soumis à des contraintes sur les délais. Nous en exposerons les propriétés fondamentales, au cœur de leur succès, puis nous exposerons quelques extensions qui ont été étudiées, afin d'enrichir les propriétés quantitatives que l'on peut prendre en compte. Nous mentionnerons également quelques outils permettant d'analyser ces modèles, ainsi que quelques exemples d'applications.
- Thématique(s)
- Formation, Recherche - Valorisation
- Contact
- David Cachera & Luc Bougé
Mise à jour le 12 mars 2018