Comparison Under Abstraction for Verifying Linearizability.

Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav

Browse the full CAV paper archive.