VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects.

Qiaowen Jia Yi Lv Peng Wu Bohua Zhan Jifeng Hao Hong Ye Chao Wang

Published in: TASE (2023)

Keyphrases

small scale
real world
d objects
data objects
moving objects
real life
multiple objects
neural network
website
object recognition
object segmentation
real world objects