A Thread Modularity Approach for Verification Concurrent Software Based on Abstract Interpretation.

Qingyu Jiang, Jing Liu, Haodong Hu

Browse the full APSEC paper archive.