O. Y. Moroz, O. G. Tolstoluzka, and R. V. Savchenko, “Analysis of existing parallel programs verification technologies”, МІА, vol. 46, pp. 76-81, Jun. 2020.