IFT734 - Méthodes formelles de spécification
Présentation
Sommaire
- Cycle
- 2e cycle
- Crédits
- 3 crédits
- Faculté ou centre
- Faculté des sciences
Cible(s) de formation
Connaître et 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
Bref rappel des outils mathématiques utilisés dans la spécification formelle des systèmes: théorie des ensembles, logique des prédicats du premier ordre, logiques temporelles, réseaux de Petri. Langages formels de spécification de systèmes : CSP, VDM, Z, Telos, Larch, OBJ. 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.