Verifying linearizability via optimized refinement checking

10.1109/TSE.2012.82

Saved in:
Bibliographic Details
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:
PAT
Online Access:http://scholarbank.nus.edu.sg/handle/10635/77940
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-77940
record_format dspace
spelling sg-nus-scholar.10635-779402023-10-26T07:26:58Z Verifying linearizability via optimized refinement checking Liu, Y. Chen, W. Liu, Y.A. Sun, J. Zhang, S.J. Dong, J.S. COMPUTER SCIENCE Linearizability model checking PAT refinement 10.1109/TSE.2012.82 IEEE Transactions on Software Engineering 39 7 1018-1039 IESED 2014-07-04T03:10:34Z 2014-07-04T03:10:34Z 2013 Article Liu, Y., Chen, W., Liu, Y.A., Sun, J., Zhang, S.J., Dong, J.S. (2013). Verifying linearizability via optimized refinement checking. IEEE Transactions on Software Engineering 39 (7) : 1018-1039. ScholarBank@NUS Repository. https://doi.org/10.1109/TSE.2012.82 00985589 http://scholarbank.nus.edu.sg/handle/10635/77940 000321125200008 Scopus
institution National University of Singapore
building NUS Library
continent Asia
country Singapore
Singapore
content_provider NUS Library
collection ScholarBank@NUS
topic Linearizability
model checking
PAT
refinement
spellingShingle Linearizability
model checking
PAT
refinement
Liu, Y.
Chen, W.
Liu, Y.A.
Sun, J.
Zhang, S.J.
Dong, J.S.
Verifying linearizability via optimized refinement checking
description 10.1109/TSE.2012.82
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
Liu, Y.
Chen, W.
Liu, Y.A.
Sun, J.
Zhang, S.J.
Dong, J.S.
format Article
author Liu, Y.
Chen, W.
Liu, Y.A.
Sun, J.
Zhang, S.J.
Dong, J.S.
author_sort Liu, Y.
title Verifying linearizability via optimized refinement checking
title_short Verifying linearizability via optimized refinement checking
title_full Verifying linearizability via optimized refinement checking
title_fullStr Verifying linearizability via optimized refinement checking
title_full_unstemmed Verifying linearizability via optimized refinement checking
title_sort verifying linearizability via optimized refinement checking
publishDate 2014
url http://scholarbank.nus.edu.sg/handle/10635/77940
_version_ 1781783833865093120