N8EN08A - Systèmes de transitions
Aperçu des sections
-
- Installation de la TLA+ Toolbox (pour les TP en local) : https://lamport.azurewebsites.net/tla/toolbox.html
Sur les machines école,/mnt/n7fs/tla/toolbox/toolbox
(cf README du premier sujet de TP).
Autre fonctionnement : plugin TLA+ pour Visual Studio Code. Éditeur plus agréable mais moins de finesse dans les paramètres de vérification. - Planning:
C1 23/01 système de transitions TD1 24/01 TLA+ actions partie 1 TD2 06/02 TLA+ actions partie 2 TP1 08/02 missionnaires et cannibales C2 13/02 L'équité C3 20/02 logique temporelle LTL TD3 20/02 TLA+ logique TD4 22/02 exclusion mutuelle, Peterson TD5 27/02 exclusion mutuelle avec jeton C4 28/02 logique temporelle CTL TP2 05/03 exclusion mutuelle avec jeton C5 12/03 outil de vérif + démo preuve TP3 14/03 philosophes TP4 20/03 vchan TP5 22/03 vchan (suite) Examen 04/04
TLA+, c'est encore Leslie Lamport qui en parle le mieux...
- Installation de la TLA+ Toolbox (pour les TP en local) : https://lamport.azurewebsites.net/tla/toolbox.html
-
-
-