Analysis of existing parallel programs verification technologies. Bulletin of V.N. Karazin Kharkiv National University, series «Mathematical modeling. Information technology. Automated control systems», v. 46, p. 76–81, 23 Jun.2020.