Correctness debugging of message passing programs using model verification techniques
Lovas, R. and Kacsuk, P. 2007. Correctness debugging of message passing programs using model verification techniques. in: Cappello, F., Herault, T. and Dongarra, J. (ed.) Recent advances in parallel virtual machine and message passing interface: 14th European PVM/MPI Users' Group Meeting, Paris, France, September 30 - October 3, 2007: proceedings Berlin Springer.