Checking Linearizability of Multi-core Task Management and Scheduling System. - Qiaowen Jia; Liangjie Lv; Yuting Yang; Bohua Zhan; Peng Wu 002; Jifeng Hao; Hong Ye; Chao Wang 069; Yi Lv (ICECCS, 2025)