Aller au contenu principal

GLO-7003 Certification de logiciels

Ce cours permet de connaître les principales méthodes formelles utilisées pour la production de logiciels sûrs et corrects. Langage assembleur typé. Notions avancées de systèmes de types. Interprétation abstraite. Compilation certifiée de code. Code incorporant une preuve. Cadre logique et assistants de preuves.

  • 3 Crédits

  • Cycles du cours

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

    • Régulier
  • À l'horaire

    • Hiver 2023

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 2023 – 1 section offerte

NRC 21280 Capacité maximale: 25 étudiants Enseignant: Béchir Ktari

Plage horaire

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

Restrictions à l'inscription

Cycle d'études

Doit être inscrit à:

  • Deuxième cycle
  • Troisième cycle

Hiver 2012 – 1 section offerte

NRC 10093 Capacité maximale: 30 étudiants

Hiver 2011 – 1 section offerte

NRC 10093 Capacité maximale: 30 étudiants