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.

Des questions sur ce cours? Inscrivez-vous aux cours

  • 3 Crédits

  • Cycle du cours

    • Premier cycle

  • Modes d'enseignement

    • Régulier

  • À l'horaire

    • Hiver 2025

Responsables

  • Faculté des sciences et de génie
  • Département d'informatique et de génie logiciel

Préalables

(IFT-1000 OU MAT-1300 OU MAT-1919) ET IFT-3000

Cette activité est contributoire dans:

Cours équivalents ou jumelés ULaval

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

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