Verifying linearizability with hindsight.

Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev, Eran Yahav, Greta Yorsh

Browse the full PODC paper archive.