6. Week 06: Extensions of Separation Logic

6.1. Mandatory Reading

• Some extensions of separation logic (slides by Xavier Leroy)
• Slides on Owicki-Gries Logic for Concurrent Programs

6.2. Recommended Reading

• Richard Bornat et al.: Permission accounting in separation logic, 2005
• Susan Owicki and David Gries: Verifying Properties of Parallel Programs: An Axiomatic Approach, 1976
• Wikipedia article on Interference Freedon