Róbert Lovas, Péter Kacsuk. Correctness Debugging of Message Passing Programs Using Model Verification Techniques. In Franck Cappello, Thomas Hérault, Jack Dongarra, editors, Recent Advances in Parallel Virtual Machine and Message Passing Interface, 14th European PVM/MPI User s Group Meeting, Paris, France, September 30 - October 3, 2007, Proceedings. Volume 4757 of Lecture Notes in Computer Science, pages 335-343, Springer, 2007. [doi]
Abstract is missing.