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

Xuan-Bach Le, David Sann, Jun Sun, Shang-Wei Lin

Browse the full ICECCS paper archive.