IGL710 - Méthodes formelles en génie logiciel

programmes offrant cette activité pédagogique (cours)

Maîtrise en génie logiciel

Maîtrise en informatique

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 et utiliser les méthodes formelles de spécification, de validation et de vérification.

Contenu

Rappels mathématiques. Spécification à base de modèles. Algèbre de processus. Techniques de vérification : analyse formelle des spécifications, correction et preuve de spécifications, preuve de correction d'une implémentation, vérification par exploitation de l'espace d'états (model checking). Techniques de validation : exécution de spécifications formelles, prototypage.