IGL752 - Techniques de vérification et de validation

Sommaire

Cycle
2e cycle
Crédits
3 crédits
Durée
1 trimestre
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.