"Poling: SMT Aided Linearizability Proofs."

He Zhu, Gustavo Petri, Suresh Jagannathan (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics