Acronyme : «acronyme»

Répartition hebdomadaire ou semestrielle

(CM: 20h00/5 semaines)(TD/TME: 10h00/5 semaines)

Contenu La vérification d'un système se fait par la mise en oeuvre de méthodes utilisant une représentation formelle du fonctionnement de ce système. Le but de ce module est de montrer comment formaliser les caractéristiques du système nécessaires à la vérification des propriétés que l'on souhaite établir. Nous y présentons des outils adaptés aux différentes phases de la modélisation.

Expérience du responsable dans le domaine de l’UE Après une thèse sur la modélisation d’applications réparties au moyen de réseaux de Petri colorés, ma recherche s’est poursuivie dans ce domaine, notamment en exploitant les symétries intrinséques du système pour réduire la représentation du graphe des états accessibles. Je m’intéresse aussi à la prise en compte de caractéristiques temporelles dans la représentation du système, dans le but d’obtenir des résultats en moyenne sur le comportement quantitatif du système.