Modélisation et spécification-- M2 (2021--2022)

Equipe enseignante

François Laroussinie et Arnaud Sangnier.

Actualités

Le premier cours aura lieu mercredi 29 septembre.

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: francoisl[at]irif.fr