MOROZ, O. Y.; TOLSTOLUZKA, O. G.; SAVCHENKO, R. V. Analysis of existing parallel programs verification technologies. Bulletin of V.N. Karazin Kharkiv National University, series «Mathematical modeling. Information technology. Automated control systems», v. 46, p. 76-81, 23 Jun. 2020.