Starting from academic year 2020/21, the course "Formal Methods" is split into two consecutive modules:
Module I:  "Automated Reasoning" [6CFU]
Module II: "Model Checking" [6CFU]
which are borrowed respectively as single courses
* Automated Reasoning [6CFU]
* Model Checking [6CFU]
from the degree course in Artificial Intelligence Systems.
The first module/course is a prerequisite for the second.

As such, the first module/course "Automated Reasoning" will start at the beginning of the semester and end in the middle of the semester, whereas the second module/course "Model Checking" will start in the middle of the semester and terminate at the end of the semester.

!!! STUDENTS ARE SUPPOSED TO REGISTER TO THE MOODLE PAGE OF THE COURSE !!!