A Thread Modularity Approach for Verification Concurrent Software Based on Abstract Interpretation. - Qingyu Jiang; Jing Liu; Haodong Hu (APSEC, 2018)