INF734 - Méthodes formelles de spécification

Sommaire

Cycle: 2e cycle
Crédits: 3 crédits

Faculté ou centre: Faculté des sciences
Trimestres *: Hiver 2025
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.

* Sujet à changement