Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses.

Ariel Cohen, Amir Pnueli, Lenore D. Zuck

Browse the full CAV paper archive.