Moir: A Framework for Formally Verifying Software Transactional Memory Algorithms

by Mohsen Lesani, Victor Luchangco, Mark Moir
Venue:In Proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012