Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh. Model checking transactional memories. In Rajiv Gupta, Saman P. Amarasinghe, editors, Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008. pages 372-382, ACM, 2008. [doi]
Abstract is missing.