A Framework for Formally Verifying Software Transactional Memory Algorithms.

Mohsen Lesani, Victor Luchangco, Mark Moir

Browse the full CONCUR paper archive.