Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.

Cezara Dragoi, Ashutosh Gupta, Thomas A. Henzinger

Browse the full CAV paper archive.