Aller au contenu

IGL502 - Techniques de vérification et de validation

Présentation

Sommaire

Cycle
1er cycle
Crédits
3 crédits
Faculté/Centre
Faculté des sciences
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