Model checking transactional memory with spin.

John W. O'Leary, Bratin Saha, Mark R. Tuttle

Browse the full PODC paper archive.