Vérification, Validation et Qualité du Logiciel

M2 MIAGE -- 2013/--

Intervention de 8h sur le model checking et les logiques linéaires.

Les documents de cours / TD sont disponible ici.