Old exam questions

Listed below are past exam questions both from this course and those from Specification and Verification II that are relevant to this current course (but note that some notations in earlier courses may be different from notations used in the current course).

[Needs to be updated with 2015 questions.]