Moroz, Olha Yuriivna, Olena Gennadiivna Tolstoluzka, and Roman Valeriyovich Savchenko. 2020. “Analysis of Existing Parallel Programs Verification Technologies”. Bulletin of V.N. Karazin Kharkiv National University, Series «Mathematical Modeling. Information Technology. Automated Control Systems» 46 (June), 76-81. https://doi.org/10.26565/2304-6201-2020-46-07.