The following past Tripos questions are from ancestors of the current Part II course Hoare Logic and Model Checking. The comments indicate which parts are (or are not) relevant to the 2015/16 course. If there is no comment, then the whole question is relevant.
Hoare Logic questions appear first, Model Checking Questions follow.
| 2015 Paper 8 Question 6 | not part (e) |
| 2014 Paper 8 Question 8 | |
| 2012 Paper 7 Question 13 | |
| 2012 Paper 9 Question 12 | |
| 2011 Paper 7 Question 10 | not part (c) |
| 2011 Paper 9 Question 11 | only parts (b) and (c) |
Older questions (beware that sometimes notation differs from that used in the current course)
| 2009 Paper 7 Question 15 | not covered |
| 2007 Paper 9 Question 8 | only parts (a) and (c) |
| 2006 Paper 7 Question 7 | not part (d) and part (b) only sketchily covered |
| 2005 Paper 7 Question 7 | only parts (a) and (b) (the rest of the question is `enrichment')? |
| 2003 Paper 7 Question 7 | not parts (d) and (e) |
| 2002 Paper 7 Question 2 | |
| 2000 Paper 8 Question 13 | |
| 1999 Paper 8 Question 13 | not really part of the course as taught, but useful background on BDDs |
| 1998 Paper 7 Question 11 | not the second point |