GLO-7003 Certification de logiciels
Ce cours présente les principales méthodes formelles sur lesquelles est basée la certification de code. Syntaxe et sémantiques des langages à travers le lambda-calcul et ses extensions. Logiques classique et intuitionniste. Logique de Hoare et logique d'ordre supérieur. Correspondance entre calcul et logique. Assistant de preuves Coq.
Responsables
- Faculté des sciences et de génie
- Département d'informatique et de génie logiciel
Restrictions à l'inscription
Cycle d'études
Doit être inscrit à:
- Deuxième cycle
- Troisième cycle
Certaines sections de cours peuvent comporter des restrictions additionnelles.
Cette activité est contributoire dans:
Cette page constitue la description officielle de cette activité. L'Université Laval se réserve le droit de modifier l'activité sans préavis. Tous les horaires indiqués sont sujets à changement.
Répartition hebdomadaire
- 3h Cours
- 0h Laboratoire ou travaux pratiques
- 6h Travail personnel
- 9h Total
Horaire
Pour vous inscrire, accédez à monPortail.
Hiver 2025 – 1 section offerte
NRC 15456 Capacité maximale: 25 étudiants
Plage horaire
-
- Type: En classe
- Dates: Du 13 jan. 2025 au 25 avr. 2025
- Journée: Jeudi
- Horaire: De 12h30 à 15h20
- Pavillon: Adrien-Pouliot
Hiver 2024 – 1 section offerte
NRC 15418 Capacité maximale: 25 étudiants
Plage horaire
-
- Type: En classe
- Dates: Du 15 jan. 2024 au 26 avr. 2024
- Journée: Jeudi
- Horaire: De 12h30 à 15h20
- Pavillon: Alexandre-Vachon