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 et génie
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