Posted on May 17, 2018

Hoare Logic and Model Checking II

From the example sheets on the course web page

For Separation Logic,

For model checking,

Exam questions

For Separation Logic,

For model checking,