IGL752 - Techniques de vérification et de validation

Sommaire

Crédits : 3 crédits

Cycle : 2e cycle

Durée : 1 trimestre

Faculté/Centre : Faculté des sciences

programmes offrant cette activité pédagogique (cours)

Doctorat en informatique

Maîtrise en génie logiciel

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.