Аналіз існуючих технологій верифікації паралельних програм. Вісник Харківського національного університету імені В.Н. Каразіна, серія «Математичне моделювання. Інформаційні технології. Автоматизовані системи управління», v. 46, p. 76–81, 23 Чер2020.