TD de Théorie et pratique de la concurrence
M1 Ingénierie Informatique 2010-2011
La page du cours se trouve
ici
.
Les notes du controle continu sont disponibles
ici
.
HORAIRES
Mardi 16h30-18h30. TD: Salle 470E - TP: Salle 548C
ORGANISATION
Responsable du cours:
François Laroussinie
Responsable des TD:
Arnaud Sangnier
Évaluation: La note finale en 1ère session est calculée comme 0.35*CC + 0.65*Ex ou Ex est la note de l'examen et CC est la note pour le contrôle continu. En deuxième session, la note est celle de l'examen.
ENONCES DES TD
TD 1
TD 2
TP 1
TP 2
TP 3
TD 3
TD 4
LIENS
Le model-checker
Spin