Model Checking of Linearizability of Concurrent List Implementations.

Pavol Cern, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur

Browse the full CAV paper archive.