Poling: SMT Aided Linearizability Proofs.

He Zhu, Gustavo Petri, Suresh Jagannathan

Browse the full CAV paper archive.