Verification of BSF Parallel Computational Model. - Nadezhda Ezhova (CoRR, 2017)