Exams
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, please register here - Results
Exam on June 17, 2024, Via Ariosto 25, A2 -- together with the Exam of Formal Methods. Register here. (If you have done the final test, do not come to these exam and your test will be corrected and evaluated together with this exam.) - Results