Bart Massey, Robert T. Bauer. X Meets Z: Verifying Correctness in the Presence of POSIX Threads. In Chris G. Demetriou, editor, Proceedings of the FREENIX Track: 2002 USENIX Annual Technical Conference, June 10-15, 2002, Monterey, California, USA. pages 221-234, USENIX, 2002. [doi]
Abstract is missing.