Moroz OY, Tolstoluzka OG, Savchenko RV. Analysis of existing parallel programs verification technologies. МІА [Internet]. 2020Jun.23 [cited 2024May2];460:76-1. Available from: https://periodicals.karazin.ua/mia/article/view/16275