Modélisation et spécification-- M2 (2018--2019)

Equipe enseignante

François Laroussinie et Arnaud Sangnier.

Actualités

Les notes du partiel sont ICI.

Le sujet de l'an dernier est ICI.

Programme

Modélisation avec des systèmes de transition, composition parallèle, réseaux de Petri,... Spécification en logique temporelle. TP avec l'outil PRISM.

Documents


Email: francois.laroussinie[at]univ-paris-diderot.fr