Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses
From MaRDI portal
Publication:3512488
DOI10.1007/978-3-540-70545-1_13zbMath1155.68430MaRDI QIDQ3512488
Amir Pnueli, Lenore D. Zuck, Ariel Cohen
Publication date: 15 July 2008
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-70545-1_13
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Verification of STM on relaxed memory models, Towards formally specifying and verifying transactional memory, Model checking transactional memories
Uses Software