Explores the foundations of modular verification using Separation Logic for realistic concurrent programs and discusses the challenges of shared mutable state in concurrency.
Covers the design and analysis of concrete bridges, focusing on various experiences with concrete bridges and the consideration of different actions like road traffic and temperature variations.
