### Separation Logic: Local Reasoning about Programs (404H)
This is a 4th year MEng. and Master course on local reasoning about programs that manipulate the heap at Imperial College London.
#### Description of the Course
In the late 1960s, Tony Hoare developed Hoare logic, a formal system with a set of rules for reasoning rigorously about the correctness of imperative programs that alter the variable state. However, Hoare logic is not good at reasoning about imperative programs that alter the heap state, since the reasoning does not scale.
