"Poling: SMT Aided Linearizability Proofs."

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