Hoare Logic and Model Checking II

From the example sheets on the course web page

For Separation Logic,

• From Kasper Svendsen's additional exercises: 5, 6, 7

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