GLO-3004 Spécification formelle et vérification de logiciels
Description
Méthodes de développement formelles. Vérification de modèles. Langages de spécification formelle comme VDM, Z ou Lotos. Utilisation de logiciels de vérification de modèles.
Responsables
Faculté : Sciences de l'agriculture et de l'alimentation
Courriel : fsg@fsg.ulaval.ca
Département : Département d'informatique et de génie logiciel
Courriel : info@ift.ulaval.ca
Cette activité est contributoire dans
Baccalauréat en informatique (B. Sc. A.) (cours à option)
3
Crédits
1er cycle
Horaire
En savoir plus sur les formules d'enseignement
Hiver 2024
Enseignant(e)s: Antoine Lefrançois