Cours

Responsable : Anca Muscholl.

TD

Responsable : Mihaela Sighireanu.

• TD 1 [correction] : modélisation avec la logique du premier ordre
• TD 2 [correction] : modélisation avec la logique du premier ordre
• TP 3 : modélisation avec Spin et spécification avec LTL
• TD 4-5 : méthode tableau pour LTL, logique de Hoare
• TD 6 : diagrammes d'activités et Spin.
• TD 7 : exemple de modélisation avec diagrammes d'activités.

Contrôle de connaissances

• Partiel : le jeudi 17 novembre pendant le cours (8h30-10h30).
  • sujet
• Examen : 8 decembre à la place du cours (8h30-10h30).

Dernière modification : Wed Dec 7 10:15:21 CET 2005
URL: http://www.liafa.jussieu.fr/~sighirea/cours/modspec/index.html