The Separation Logic course is a 4th year MEng and MSc course on local reasoning about programs that manipulate the heap at the [Department of Computing](http://www.imperial.ac.uk/computing), [Imperial College London](http://www.imperial.ac.uk).
The Scalable Software Verification course (formerly Separation Logic)is a 4th year MEng and MSc course on local reasoning about programs that manipulate the heap at the [Department of Computing](http://www.imperial.ac.uk/computing), [Imperial College London](http://www.imperial.ac.uk).
#### Description of the Course
...
...
@@ -35,11 +35,11 @@ This work constitutes a breakthrough, in that it is now possible prove propertie
* The last week will provide an introduction to concurrent separation logics. With Brookes, O'Hearn won the Godel prize for this work in 2016.
#### General Information for 2019 autumn term
#### General Information for 2021 autumn term
*Time:*Tuesdays 2pm-4pm, 2nd through 9th week, Room 130.
*Time:*Mondays 2pm-4pm, 2nd through 9th week, Room 145 and Thursdays 11am-1pm, 2nd through 9th week, Room 145
*Coursework:* Published Tues 29th Oct, 9 AM / deadline Fri 8th Nov, 4 PM.
*Coursework:* Published TBC / deadline TBC.
*Exam:* The exam will take place December, date and time TBC. It will last for 70 minutes.
You will be given three questions, out of which you need to answer two of your choice.