Comparative debugging of OpenMP programs

Principles and problems of comparative debugging are considered with special stress on semi-automatic parallelization. Experimental version of comparative debugging system for OpenMP-programms is described, as well as results of its checking on test programs.