Analysis of existing parallel programs verification technologies. МІА [Internet]. 2020 Jun. 23 [cited 2026 Oct. 25];46:76-81. Available from: https://periodicals.karazin.ua/mia/article/view/16275