Enseignements de systèmes de transitions

Supports de cours

Module d'enseignement de 7 séances de cours/TD d'1h45, s'appuyant pour la pratique sur TLA+ :

Support de TD

Sujet de TD (uniquement des propositions d'exercices).

Support de TP

Énoncés pour 4 séances de TP d'1h45, en utilisant les outils TLA+. Les corrigés ne sont volontairement pas disponibles, vu qu'il s'agit d'exercices à faire soi-même. Les enseignants qui souhaiteraient les corrections peuvent me les demander.

Exemples d'examen


Philippe Quéinnec
Dernière mise à jour : 31 mars 2017.