Vérification de systèmes probabilistes - M2 (2023--2024)

Equipe enseignante

François Laroussinie.

Actualités

Il n'y a pas cours mardi 20 février. Faire la feuille de TD 2 ci-dessous.

Documents

Slides sur le model-checking de CTL.
Notes sur la vérification de chaînes de Markov..
Notes 2.
Feuille de TD 2.

Email: