Verifying Correctness of Transactional Memories.

Ariel Cohen, John W. O'Leary, Amir Pnueli, Mark R. Tuttle, Lenore D. Zuck

Browse the full FMCAD paper archive.