This folder contains the registrations of the classes of the course "Formal Methods, 2021/2022". A few remarks are in order. * Each file name follows the following naming convention, so that they appear in chronological order: -CL--CH--.mp4 where; : YYYY.MM.DD date when the class was taken : progressive index of the class : progressive index of the recording within the same class : chapter of slides used in this class : "AR" (automated reasoning) or "FV" (formal verification) : the topic of the recording The same naming convention applies to LAB classes, with the prefix "LAB_" upfront. * For all comments, feedback, questions and clarification requests please refer to the forum of the course: https://didatticaonline.unitn.it/dol/enrol/index.php?id=34159