Supervision webpage

Supervision work for Specification and Verification II.

Excercises for the first supervision:

• Past paper questions:
  • CST 2002 Paper 9 Question 12
  • CST 2001 Paper 9 Question 12

Excercises for the second supervision:

• Past paper questions:
  • CST 2004 Paper 9 Question 13
  • CST 2003 Paper 7 Question 7
• Prove that E[P U Q] is checkable.

Excercises for the third supervision:

• Past paper questions:
  • CST 1998 Paper 7 Question 11
  • CST 1999 Paper 7 Question 10
  • CST 2002 Paper 7 Question 2

Last updated 30 October 2004. Mail me at the Lab.