Verifying Linearizability via Optimized Refinement Checking.

Yang Liu Wei Chen Yanhong A. Liu Jun Sun Shao Jie Zhang Jin Song Dong

Published in: IEEE Trans. Software Eng. (2013)

Keyphrases

verification method
database
data sets
genetic algorithm
similarity measure
multiscale
objective function
scheduling problem
model checking