IFT734 - Méthodes formelles de spécification

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.