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