Moroz, O. Y.; Tolstoluzka, O. G.; Savchenko, R. V. Analysis of Existing Parallel Programs Verification Technologies. МІА 2020, 46, 76-81.