Login / Signup

Verifying Linearizability via Optimized Refinement Checking.

Yang LiuWei ChenYanhong A. LiuJun SunShao Jie ZhangJin 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