Model checking linearizability via refinement

by LIU, Yang, CHEN, Wei, LIU, Yanhong A., SUN, Jun
Published 2009

Formal verification of scalable nonzero indicators

by SUN, Jun, LIU, Yang, SUN, Jun, DONG, Jin Song, CHEN, Wei, LIU, Yanhong A.
Published 2009

Verifying linearizability via optimized refinement checking

by Dong, Jin Song, Liu, Yanhong A., Zhang, Shao Jie, Sun, Jun, Liu, Yang, Chen, Wei
Published 2013

Verifying linearizability via optimized refinement checking

by LIU, Yang, CHEN, Wei, LIU, Yanhong A., SUN, Jun, ZHANG, Shao Jie, DONG, Jin Song Dong
Published 2013