@article{Здиорук2026верификация, author={Здиорук, Д.А. and Марченкова, Е.Р.}, title={Верификация как средство бездефектного функционирования специального программного обеспечения в многопроцессорных вычислительных системах}, journal={Журнал технических исследований}, publisher={Общество с ограниченной ответственностью «Научно-издательский центр ИНФРА-М»}, year={2026}, pages={16-22}, volume={12}, issue={1}, }