This folder contains the registrations of the classes of the course
"Formal Methods, 2020/2021".

A few remarks are in order.

* Each file name follows the following naming convention, so that they
  appear in chronological order:
  <CLASS DATE>-CL<CLASS NUMBER>-<INDEX>-CH<SLIDE CHAPTER>-<MODULE>-<TOPIC>.mp4
  where;
  <CLASS DATE>: YYYY.MM.DD date when the class was taken
  <CLASS NUMBER>: progressive index of the class
  <INDEX>: progressive index of the recording within the same class
  <SLIDE CHAPTER>: chapter of slides used in this class
  <MODULE>: "AR" (automated reasoning) or "MC" (model checking)
  <TOPIC>: 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/course/view.php?id=24784