Line-up: A complete and automatic linearizability checker (2010)

by Sebastian Burckhardt , Chris Dern , Roy Tan , Madanlal Musuvathi
Venue:In PLDI
Citations:34 - 1 self