Exam
- The exam is a 24h take-home exam that starts at 8am on Mon 10 Nov 2014, and is due by 7:59am on Tue 11 Nov 2014.
- Exam material: exam [pdf], Isabelle template [thy], divmod.c [c].
- You should use Isabelle 2013-2 and AutoCorres 0.98 for the exam.
- You need to submit a .thy file using give, and may also submit
a .txt or .pdf file. Example:
give cs4161 exam exam.thy exam.pdf
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.