MGL7160: Exercices
Exercice #8: Traces et logique temporelle (27 mars -> 3 avril)
Exercice #7: Solutions
Exercice #7: Procesuss LOTOS (13 mars -> 27 mars)
Exercice #6: Solutions
Exercice #6: Cohérence interne et biais de mise en oeuvre (6 mars -> 13 mars)
Exercice #5: Solution
Exercice #5: Type mutable pour cache mémoire (27 février -> 7 mars)
Exercice #4: Solution
Exercice #4: MACHINE pour jeu de Nim (6 février -> 13
février)
Note: Comme pour l'exercice
précédent, faites vérifier la syntaxe et les
types de votre solution en utilisant l'analyseur
Spec (le module joueurs est disponible dans la
librairie des types Spec).
Exercice #3: Solution
Exercice #3: Formalisation de diagr. UML (30 janvier -> 6 février)
Exercice #2: Solutions
Exercice #2: Types abstraits Spec (pour le 30 janvier)
Exercice #1: Solutions
Exercice #1: Logique et concepts (16 janvier -> 23 janvier)