INF734 - Méthodes formelles de spécification

Sommaire

Cycle
2e cycle
Crédits
3 crédits
Durée
1 trimestre
Faculté/Centre
Faculté des sciences
Répartition de la charge de travail
3-0-6
Cible(s) de formation

Savoir utiliser les notations formelles; lire et comprendre des spécifications formelles; choisir entre différentes méthodes formelles de spécification; utiliser des méthodes formelles pour spécifier des systèmes et analyser les propriétés d'un système.

Contenu

Rappel des outils mathématiques utilisés dans la spécification formelle des systèmes. Logiques temporelles. Réseaux de Petri. Langages formels de spécification de systèmes : CSP, VDM, Z, Telos, Larch, OBJ, EB3. Modélisation et spécification formelle des systèmes. Études de cas et puissance d'expression. Transformation de spécifications. Analyse des propriétés des spécifications.