IGL502 - Techniques de vérification et de validation

Sommaire

Cycle: 1er cycle
Crédits: 3 crédits

Faculté ou centre: Faculté des sciences
Trimestres *: Automne 2024
Répartition de la charge de travail: 3-0-6

Cible(s) de formation

Connaître les principales approches utilisées dans les techniques de vérification et de validation.

Contenu

Rappel sur la logique des prédicats et les logiques temporelles. Principales classes de propriétés formelles des spécifications de systèmes. Système de transition. Automate de Büchi. Vérification de formules LTL. Vérification de formules CTL. Équivalence et abstraction. Réduction par ordre partiel. Vérification de propriétés sur des automates temporisés. Systèmes probabilistes. Étude de différents outils de vérification.

Préalable(s)

Avoir obtenu 48.00 crédits

* Sujet à changement