“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 23, 2020): 76–81. Accessed October 25, 2026. https://periodicals.karazin.ua/mia/article/view/16275.