IGL502 - Techniques de vérification et de validation

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