Model Checking Linearizability via Refinement.

Yang Liu, Wei Chen, Yanhong A. Liu, Jun Sun

Browse the full FM paper archive.