Model Checking Transactional Memory with Spin.

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

Browse the full ICDCS paper archive.