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