Qingyu Jiang, Jing Liu, Haodong Hu: A Thread Modularity Approach for Verification Concurrent Software Based on Abstract Interpretation. APSEC 2018: 119-128