Exam
- The exam will be a 24h take-home exam. It will start Mon, 13 Nov 2017, 8am, and end 14 Nov 2017, 7:59am.
- Exam material: exam [pdf], Isabelle template [thy], binarysearch.c [c].
- You should use Isabelle 2016-1 (not Isabelle2017) and AutoCorres-1.3 for the exam (same as for the assignments).
You need to submit a .thy file using give:
give cs4161 exam exam.thy
You can also use the web interface.
- If you have trouble using the submission system, you can also submit your exam to one of the lecturers by email.