Thread-Modular Verification for Shared-Memory Programs.

Cormac Flanagan, Stephen N. Freund, Shaz Qadeer

Browse the full ESOP paper archive.