Séance de cours
Cette séance de cours présente le cours de vérification formelle par l'instructeur, qui est un postdoc à Lara et a une formation en vérification formelle. L'instructeur mentionne également travailler sur l'outil de vérification en acier inoxydable développé à Lara et encourage les étudiants à aimer écrire des épreuves pendant le semestre.