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,
For model checking,
For Separation Logic,
For model checking,
For Separation Logic,
For model checking,