Verifying linearizability via optimized refinement checking

• Main Authors: Liu, Y., Chen, W., Liu, Y.A., Sun, J., Zhang, S.J., Dong, J.S.
• Other Authors: COMPUTER SCIENCE
• Format: Article
• Published: 2014
• Subjects: Linearizability; model checking; PAT; refinement
• Online Access: http://scholarbank.nus.edu.sg/handle/10635/77940
• Institution: National University of Singapore

10.1109/TSE.2012.82