Аналіз існуючих технологій верифікації паралельних програм. МІА. 2020;46:76-81. doi:10.26565/2304-6201-2020-46-07