Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed OrderingsSarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby. cav 2008: 66-79 [doi]

Distributed dynamic partial order reductionYu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby. STTT, 12(2):113-122, 2010. [doi]

runs on WebDSL