Exams will be held together with those of Formal Methods 2023/24, please refer to the Formal Methods 2023/24 page
Examples of exam tests can be found in the Course Material
To take the final test on May 23, 2024 at 15:00 in room A5 and A6 - Results
Exam on June 17, 2024, 09:00, Via Ariosto 25, A2 -- together with the Exam of Formal Methods. (If you have done the final test, do not come to this exam, and your test will be corrected and evaluated together with this exam) - Results
Exam on July 17, 2024, 09:00, Via Ariosto 25, A2 -- together with the Exam of Formal Methods - Results
Exam on September 24, 2024, 09:00, Via Ariosto 25, A2 -- together with the Exam of Formal Methods - Results
Exam on November 6, 2024, 15:00, Via Ariosto 25, A7 -- together with the Exam of Formal Methods - Results
Exam on January 30, 2025, 9:00, 108 Marco Polo -- together with the Exam of Formal Methods - Results
Exam on February 21, 2025, 9:00, 108 Marco Polo -- together with the Exam of Formal Methods - Results
Exam on March 28, 2025, at 17:00 in room A3 - Via Ariosto Polo - together with the exams of Formal Methods - Results
For further exam dates, please refer to the new edition of the course.