On combining state space reductions with global fairness assumptions

by ZHANG, Shao Jie, SUN, Jun, PANG, Jun, LIU, Yang, DONG, Jin Song
Published 2011

Constraint-based automatic symmetry detection

by ZHANG, Shao Jie, SUN, Jun, SUN, Chengnian, LIU, Yang, MA, Junwei, DONG, Jin Song
Published 2013

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