Hoare Logic and Model Checking III

From the course webpage

• Mike Gordon’s example sheet: 8, 9, 12

Past papers

• 2014/8/8: (b) only
• 2012/7/13: (b) only
• 2015/8/6: (a), (b), (c), and (d) only
• 2011/7/10: (a), (b), and (d) only