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

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

Browse the full TASE paper archive.