Brief announcement: Model checking transactional memory with Spin

Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

Volumn , Issue , 2008, Pages 424-

  O'Leary, John ^a   Saha, Bratin ^a   Tuttle, Mark R ^a  

^a INTEL CORPORATION   (United States)

Author keywords

Model checking; Spin; Transactional memory

Indexed keywords

SPIN DYNAMICS; STORAGE ALLOCATION (COMPUTER);

PARAMETERIZED MODELS; PRE PROCESSORS; SHARED-MEMORY PROTOCOLS; SOFTWARE TRANSACTIONAL MEMORIES; SPIN; SPIN MODELS; SPIN-ON; TRANSACTIONAL MEMORY;

MODEL CHECKING;

EID: 57549092349     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (4)

1. A. Adl-Tabatabai et al. Compiler and runtime support for efficient software transactional memory. In Proceedings of the ACM Conference on Programming Language Design and Implementation, pages 26-37, June 2006.
2. R. Alur, K. McMillan, and D. Peled, Model-checking of correctness conditions for concurrent objects. In Proceedings of the IEEE Symposium on Logic in Computer Science, pages 219-228, July 1996.
3. A. Cohen, J. O'Leary, A. Pnueli, M. R. Tuttle, and L. Zuck. Verifying correctness of transactional memories. In M. Sheeran and J. Baumgartner, editors, Proceedings of the Symposium on Formal Methods in Computer Aided Design, pages 37-44, November 2007.
4. G. Holzman. The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, 2004.