Past exam papers: Temporal Logic and Model Checking
Solution notes are available for many past questions to local users. They were produced by question setters, primarily for the benefit of the examiners. These are not model answers: there may be many other good ways of answering a given exam question!
The solution notes for the most recent two year’s worth of examinations (with exceptions for 2020 and 2021) are held back by the department and only made available to supervisors and other teaching staff (marked with 🔒). Supervisors are instructed not to release hardcopy or electronic versions of these notes to students, although they may be shown to students during supervisions when helpful. Access to any solution notes here requires a Raven login, i.e. they are not public.
Making corrections: Question setters who want to amend solution notes can find the source files under /anfs/www/tripospapers/ and may email updated files to pagemaster.
- 2015 Paper 8 Question 6 – solution notes
- 2014 Paper 8 Question 8 – solution notes
- 2012 Paper 7 Question 13 – solution notes
- 2012 Paper 9 Question 12 – solution notes
- 2011 Paper 7 Question 10 – solution notes
- 2011 Paper 9 Question 11 – solution notes
See also
- Hoare Logic and Model Checking (2023–2016)
- Specification and Verification II (2010–1995)