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.
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 2023 – 1 section offerte
NRC 21280 Capacité maximale: 25 étudiants
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
Hiver 2012 – 1 section offerte
NRC 10093 Capacité maximale: 30 étudiants