How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations.

Sriram Aananthakrishnan Michael Delisi Sarvani S. Vakkalanka Anh Vo Ganesh Gopalakrishnan Robert M. Kirby Rajeev Thakur How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations. 261-270 2009 PVM/MPI http://dx.doi.org/10.1007/978-3-642-03770-2_32 conf/pvm/2009 db/conf/pvm/pvm2009.html#AananthakrishnanDVVGKT09