Thread modularity at many levels: a pearl in compositional verification.

Jochen Hoenicke, Rupak Majumdar, Andreas Podelski

Browse the full POPL paper archive.