From 8e9e602c18d498f2629dc76f69a0fd64886f6586 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Wed, 10 Oct 2018 16:52:50 +0100 Subject: [PATCH] Update separationlogic.md --- teaching/separationlogic.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/teaching/separationlogic.md b/teaching/separationlogic.md index aa57ee8..8c15eb6 100644 --- a/teaching/separationlogic.md +++ b/teaching/separationlogic.md @@ -37,14 +37,14 @@ This work constitutes a breakthrough, in that it is now possible prove propertie #### General Information for 2018 autumn term -Time: Tuesdays 2pm-4pm, 2nd through 9th week, Room 140. +*Time:* Tuesdays 2pm-4pm, 2nd through 9th week, Room 140. -Coursework Published Tue 30th Oct, 9 AM / deadline Fri 9th Nov, 4 PM. +*Coursework:* Published Tue 30th Oct, 9 AM / deadline Fri 9th Nov, 4 PM. -Exam: The exam will take place on Tuesday, December 11th, at 11:40, room TBC. It will last for 70 minutes. +*Exam:* The exam will take place on Tuesday, December 11th, at 11:40, room TBC. It will last for 70 minutes. You will be given three questions, out of which you need to answer two of your choice. -Recommended Reading: Mike Gordon has some [excellent notes on Hoare logic](http://www.cl.cam.ac.uk/archive/mjcg/HL/), +*Recommended Reading:* Mike Gordon has some [excellent notes on Hoare logic](http://www.cl.cam.ac.uk/archive/mjcg/HL/), which briefly touches on separation logic in the last chapter. Two good books on Hoare logic are: Logic in Computer Science: Modelling and Reasoning about Systems, Michael Huth and Mark Ryan, CUP, 2004; and The Formal -- GitLab