Moroz, O. Y., O. G. Tolstoluzka, and R. V. Savchenko. “Analysis of Existing Parallel Programs Verification Technologies”. Bulletin of V.N. Karazin Kharkiv National University, Series «Mathematical Modeling. Information Technology. Automated Control Systems», Vol. 46, June 2020, pp. 76-81, doi:10.26565/2304-6201-2020-46-07.