TY  JOUR
TI  Верификация как средство бездефектного функционирования специального программного обеспечения в многопроцессорных вычислительных системах
KW  верификация программного обеспечения
KW  бездефектное функционирование
KW  многопроцессорные вычислительные системы
KW  комплексы автоматизированного управления
KW  КСАУ тактического звена
KW  формальные методы верификации
KW  кибериммунитет
KW  model checking
KW  динамическое тестирование
KW  специальное ПО
JO  Журнал технических исследований
AU  Здиорук, Д.А.
AU  Марченкова, Е.Р.
PY  2026
IS  12
PB  Общество с ограниченной ответственностью «Научно-издательский центр ИНФРА-М»