Méthodes Logiques d'Analyse des Systèmes - Sécurité Master 2e année

Transparents : ltl.pdf spin.pdf ctl.pdf tlk.pdf

Page web pour SPIN et Promela : http://spinroot.com/

Quelques exos d'entraînement : exos.pdf

   Adresse mail : dima at univ-paris12 dot fr