COURS // INF7570 Modélisation et vérification
Mes cours favoris
Ce système permet de sélectionner vos cours favoris en prévision de votre inscription qui se fait sur le portail étudiant.
Trimestre | Cours | Groupe |
---|
Description du cours
- Cycle : 2
- Nombre de crédits : 3
- Discipline : Informatique
Description
Modélisation de systèmes informatiques en vue de faire une vérification automatique de leurs propriétés. Objectifs de la vérification. Introduction à un outil et descriptions de systèmes. Formalisation de propriétés à l'aide de logiques. Algorithmes de vérification: diagrammes de décision binaires, algorithme DPLL, démonstrateurs de théorèmes.
Horaire - Été 2024
Ce cours n'est pas offert lors de ce trimestre.
Horaire - Automne 2024
Ce cours n'est pas offert lors de ce trimestre.
Horaire - Hiver 2025
Ce cours n'est pas offert lors de ce trimestre.