Moroz, Olha Yuriivna, Olena Gennadiivna Tolstoluzka, і Roman Valeriyovich Savchenko. «Аналіз існуючих технологій верифікації паралельних програм». Вісник Харківського національного університету імені В.Н. Каразіна, серія «Математичне моделювання. Інформаційні технології. Автоматизовані системи управління» 460 (Червень 23, 2020): 76-81. дата звернення Грудень 21, 2025. https://periodicals.karazin.ua/mia/article/view/16275.