IGL501 - Méthodes formelles en génie logiciel
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 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 exploration de l'espace d'états (model checking). Techniques de validation : exécution de spécifications formelles, prototypage.