Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qadeer, Zhichuan Zhang. Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values. In Rajeev Alur, Doron Peled, editors, Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings. Volume 3114 of Lecture Notes in Computer Science, pages 427-439, Springer, 2004. [doi]
Abstract is missing.