TY  JOUR
TI  Verification as a means of defect-free operation of special software in multiprocessor computing systems
KW  software verification
KW  defect-free operation
KW  multiprocessor computing systems
KW  automated control complexes
KW  tactical-level KS AU
KW  formal verification methods
KW  cyberimmunity
KW  model checking
KW  dynamic testing
KW  special software
JO  Journal of Technical Research
AU  Zdiuruk, D.A.
AU  Marchenkova, E.R.
PY  2026
IS  12
PB  INFRA-M Academic Publishing LLC.