Exam
- The exam is a 24h take-home exam, starting 8am Thu 14 Oct 2013, due 7:59am on Fri 15 Oct 2013.
- Exam specification [pdf] and support files [zip]. (includes thy template, C file, C parser, VCG/AutoCorres)
- You can re-use your VCG or AutoCorres setup from assignment 3
- You need to submit a .thy file using give. Example:
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.