Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby. Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. In Dragan Bosnacki, Stefan Edelkamp, editors, Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings. Volume 4595 of Lecture Notes in Computer Science, pages 58-75, Springer, 2007. [doi]
Abstract is missing.