Modèles Temporels


Enseignant : Francois Vernadat (francois@laas.fr)


Support de Cours  //  Tps 
Les Tps utiliseront les logiciels Tina et UPPPAAL que vous devez librement telecharger.

Lien video zoom / ID ZOOM : 98327490725

Annales : 2021/ 2022

Elts de correction à venir

Elts correction Partie Petri : RDP + Observateur + Script de Verification

Readme : Le script scriptLTL permet d'obtenir - via l'outil selt - une sequence menant au scenario desire. L'outil plan permet ensuite d'obtenir un echeancier particulier ou l'ensemble de tous les echeanciers possibles (celui-ci etant infini est decrit par un ensemble de contraintes). Apres avoir rendu executable le fichier scriptLTL (i.e chmod u+x scriptLTL), il suffit de l'executer ./scriptLTL

Enregistrements