On the verification of strong atomicity of programs using STM

Sun, 09/06/2009 - 15:44 — nate

Title	On the verification of strong atomicity of programs using STM
Publication Type	Conference Paper
Year of Publication	2009
Authors	Li, Y, Zhang Y, Chen Y, Fu M
Conference Name	3rd IEEE International Conference on Secure Software Integration and Reliability Improvement(SSIRI2009)
Date Published	07/2009
Conference Location	Shanghai, China
Keywords	proofcarrying code, strong atomicity, transactional memory

Attachment	Size
SSIRI2009.pdf	269 KB
coq-impl.rar	54.34 KB

Languages