Hoare Logic and Model Checking II

From the example sheets on the course web page

For Separation Logic,

• From the main exercise sheet: 23, 26, 28, 36, 43, 48, 50

For model checking,

• From Mike Gordon’s example sheet: 1, 2, 3, 5

Exam questions

For Separation Logic,

• 2015/7/7: (b) and (c)(i) only
• 2012/8/8: (a) and (b) only

For model checking,

• 2014/8/8: (a) only
• 2012/7/13: (a) only