Partager cette page :

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.

Séminaire Informatique et télécommunications

Séminaire 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