Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications

Xuan Bach Le, David SanĂ¡n, Sun Jun 0001, Shang-Wei Lin 0001. Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications. In Yi Li 0002, Alan Wee-Chung Liew, editors, 25th International Conference on Engineering of Complex Computer Systems, ICECCS 2020, Singapore, October 28-31, 2020. pages 43-52, IEEE, 2020. [doi]