1. 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». 2020. (46). C. 76-81.