X Meets Z: Verifying Correctness in the Presence of POSIX Threads.

Bart Massey, Robert T. Bauer

Browse the full USENIX paper archive.