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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Xuan Bach Le' in GoogleThis author has not been identified. Look up 'David Sanán' in GoogleThis author has not been identified. Look up 'Sun Jun 0001' in GoogleThis author has not been identified. Look up 'Shang-Wei Lin 0001' in Google

runs on WebDSL