GLO-4010 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
Cette activité est contributoire dans:
Cours équivalents ou jumelés ULaval
- GLO-7003 Certification de logiciels Depuis l'été 2023
Les cours équivalents sont des activités de même cycle dont le contenu est identique ou très semblable. La réussite de l'un entraîne la reconnaissance de l'autre. Si, à l’une des sessions indiquées, vous avez réussi un cours équivalent, vous n’avez pas à vous inscrire au cours présenté sur cette page. Le cours équivalent vous sera reconnu.
Les cours jumelés sont des activités de cycles différents. Si vous avez suivi un cours de 1er cycle de niveau 4000, vous ne pouvez pas suivre le cours correspondant de niveau 6000 ou 7000 si vous poursuivez des études au 2e ou au 3e cycle et vous ne pouvez pas demander à la direction de votre programme de le reconnaître.
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 15452 Capacité maximale: 40 étudiants Enseignant: Béchir Ktari
Plage horaire
-
- Type: En classe
- Dates: Du 13 jan. 2025 au 25 avr. 2025
- Journée: Jeudi
- Horaire: De 12h30 à 15h20
- Pavillon: Adrien-Pouliot
- Local: 2765
Hiver 2024 – 1 section offerte
NRC 15414 Capacité maximale: 60 é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
- Local: 3850