Exam
There are 3 options for the exam, but the "quiz"-based exam is only available from June 16. By then, there will be 40 points worth of test quizzes, which can be done again and again, to rehearse the material. The rest of the points can be obtained as follows.
- Oral Examination (90 points). The oral examination is the only option if you need evaluation early. You should choose a topic (in agreement with me) that was (or should be) covered in the course. Give a well-prepared presentation (45 min), draft a lab session with some exercises, or attempt a slightly larger case study (e.g., attempt to implement and verifying something in Dafny, see the VerifyThis archive for inspiration.)
- Moodle Exercises (60 points, possibly more). The exercises for the lab sessions will count towards the grade. There will be exercises covering verification (Dafny), differential testing, coverage-guided testing and fuzzing, automated verifiers for vulnerability detection, and developing analyses in Infer.
- Moodle Quiz (70 points). There will be a moodle quiz available between June 16 - June 19. This will be two-hour multiple-choice quiz with factual questions covering the material from all the previous quizzes.