(3 crédits). Méthodologies pour la spécification, le développement et la vérification formels de logiciels. Utilisation d'assistants de preuves, de déduction automatisée et d'autres méthodes formelles visant l'exactitude de logiciel. Applications à la vérification de programmes et au calcul sécurisé. Ce cours est équivalent à COMP 5707 à la Carleton University. Volet : Cours magistral
(3 crédits). Méthodologies pour la spécification, le développement et la vérification formels de logiciels. Utilisation d'assistants de preuves, de déduction automatisée et d'autres méthodes formelles visant l'exactitude de logiciel. Applications à la vérification de programmes et au calcul sécurisé. Ce cours est équivalent à COMP 5707 à la Carleton University. Volet : Cours magistral
