109
click to vote
FMCAD
2007
Springer
15 years 9 months ago
2007
Springer
—We show how to verify the correctness of transactional memory implementations with a model checker. We show how to specify transactional memory in terms of the admissible interc...