Séance de cours
Cours de vérification formelle Introduction
Description
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.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.