INF752 - Techniques de vérification et de validation

Cette activité pédagogique vise à développer chez l’étudiante ou l’étudiant les aptitudes suivantes :
 identification et utilisation des techniques de vérification et de validation;
 modélisation d’un système logiciel ou d’un protocole à l’aide de transitions dans un espace d’états ;
 modélisation des propriétés d’un système logiciel qu’on veut vérifier ;
 utilisation d’un outil de vérification de modèles.