• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Qiaowen JiaYi LvPeng WuBohua ZhanJifeng HaoHong YeChao 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