Informations générales
Le TD se déroule le mardi de 10h30 à 12h30 en salle 470E.
TD 1 : exprimer formellement une propriété
Le sujet.
TD 2 : quelques théories utiles en programmation
Le sujet.
TD 3 : modéliser à l'aide de machines à états finis
Le sujet.
Projet de Why
Le sujet.