Analysis of existing parallel programs verification technologies. МІА. 2020;46:76-81. doi:10.26565/2304-6201-2020-46-07