Qiaowen Jia Yi Lv Peng Wu 0002 Bohua Zhan Jifeng Hao Hong Ye Chao Wang 0069 VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects. 202-220 2023 TASE https://doi.org/10.1007/978-3-031-35257-7_12 conf/tase/2023 db/conf/tase/tase2023.html#JiaL0ZHY023