%0 Journal Article
%T Verification as a means of defect-free operation of special software in multiprocessor computing systems
%A Zdiuruk, D.A.
%A Marchenkova, E.R.
%K software verification, defect-free operation, multiprocessor computing systems, automated control complexes, tactical-level KS AU, formal verification methods, cyberimmunity, model checking, dynamic testing, special software
%J Journal of Technical Research
%D 2026
%N 12
%P 6
%I INFRA-M Academic Publishing LLC.