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

Ariel Cohen 0002 Amir Pnueli Lenore D. Zuck Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses. 121-134 2008 CAV http://dx.doi.org/10.1007/978-3-540-70545-1_13 conf/cav/2008 db/conf/cav/cav2008.html#CohenPZ08