Past exam papers: Specification and Verification II
- 1993 Paper 7 Question 5
- 1993 Paper 7 Question 6
- 1994 Paper 8 Question 11 (Same as Paper 12 Question 9)
- 1994 Paper 9 Question 11 (Same as Paper 13 Question 9)
- 1995 Paper 7 Question 11
- 1995 Paper 8 Question 12
- 1996 Paper 7 Question 11
- 1996 Paper 8 Question 13
- 1997 Paper 7 Question 11
- 1997 Paper 8 Question 13
- 1998 Paper 7 Question 11
- 1998 Paper 8 Question 13
- 1999 Paper 7 Question 10
- 1999 Paper 8 Question 13
- 2000 Paper 7 Question 9
- 2000 Paper 8 Question 13
- 2001 Paper 7 Question 2
- 2001 Paper 9 Question 12
- 2002 Paper 7 Question 2
- 2002 Paper 9 Question 12
- 2003 Paper 7 Question 7
- 2003 Paper 9 Question 12
- 2004 Paper 7 Question 7
- 2004 Paper 9 Question 13
- 2005 Paper 7 Question 7
- 2005 Paper 9 Question 13
- 2006 Paper 7 Question 7
- 2006 Paper 9 Question 15
- 2007 Paper 7 Question 7
- 2007 Paper 9 Question 8
- 2008 Paper 7 Question 16
- 2008 Paper 9 Question 8
- 2009 Paper 7 Question 15
- 2009 Paper 9 Question 13
- 2010 Paper 7 Question 15
- 2010 Paper 9 Question 13