Aller au contenu principal

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.

  • 3 Crédits

  • Cycles du cours

    • Deuxième cycle
    • Troisième cycle
  • Modes d'enseignement

    • Régulier

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 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 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
    • Local: 3850

Hiver 2023 – 1 section offerte

NRC 21280 Capacité maximale: 25 étudiants

Plage horaire

    • Type: En classe
    • Dates: Du 10 jan. 2023 au 21 avr. 2023
    • Journée: Jeudi
    • Horaire: De 12h30 à 15h20
    • Pavillon: Adrien-Pouliot
    • Local: 2569