Reasoning About Threads Communicating via Locks.

Vineet Kahlon, Franjo Ivancic, Aarti Gupta

Browse the full CAV paper archive.