Precise Detection of Atomicity Violations

Citation:
Dias, R. J., V. Pessanha, and J. M. Lourenço, "Precise Detection of Atomicity Violations", Hardware and Software: Verification and Testing, vol. 7857: Springer Berlin / Heidelberg, pp. 8-23, 2013.

Abstract:

n/a

Notes:

HVC 2012 Best Paper Award

Related External Link

PreviewAttachmentSize
2012-hvc.pdf428.56 KB