Systèmes de transitions, TLA+

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 idées d'exercices).

Support de TP

Énoncés pour 5 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 : 8 juillet 2021.