Le DEA Programmation.

Les stages proposés en 2002 par le Laboratoire Spécification et Vérification

Bibliographie du cours "Logiques temporelles et automates":

•  An automata-theoretic approach to linear time temporal logic (by M. Vardi)
•  An automata-theoretic approach to branching time model-checking (by O. Kupferman, M. Vardi,  P. Wolper)
•   The complementation of Büchi automata revisited (by Wolfgang Thomas).

Notes de cours "Logiques temporelles et automates" (2002)

•   cours du 10/01/02
•   cours du 17/01/02
•   cours du 24/01/02
•  cours du 31/01/02
•  cours du 07/02/02
•  cours du 14/02/02
•  cours du 21/02/02
• Pas de cours le 28/02/02
•  cours du 07/03/02
•   cours du 14/03/02
• cours du 21/03/02
•   le 28/03/02 de 9h a 12h: examen en salle 1C12
•   Version provisoire de l'ensemble des notes de cours 2002 (à compléter ultérieurement par une chapitre sur CTL*. L'introduction doit aussi être mise à jour)
•  références bibliographiques

le LSV