“Analysis of existing parallel programs verification technologies”, МІА, vol. 46, pp. 76–81, Jun. 2020, doi: 10.26565/2304-6201-2020-46-07.