Paul T. Darga, Chandrasekhar Boyapati. Efficient software model checking of data structure properties. In Peri L. Tarr, William R. Cook, editors, Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA. pages 363-382, ACM, 2006. [doi]
Abstract is missing.