@article{Zdiuruk2026verification,
author={Zdiuruk, D.A. and Marchenkova, E.R.},
title={Verification as a means of defect-free operation of special software in multiprocessor computing systems},
journal={Journal of Technical Research},
publisher={INFRA-M Academic Publishing LLC.},
year={2026},
pages={16-22},
volume={12},
issue={1},
}