%0 Journal Article
%T Верификация как средство бездефектного функционирования специального программного обеспечения в многопроцессорных вычислительных системах
%A Здиорук, Д.А.
%A Марченкова, Е.Р.
%K верификация программного обеспечения, бездефектное функционирование, многопроцессорные вычислительные системы, комплексы автоматизированного управления, КСАУ тактического звена, формальные методы верификации, кибериммунитет, model checking, динамическое тестирование, специальное ПО
%J Журнал технических исследований
%D 2026
%N 12
%P 6
%I Общество с ограниченной ответственностью «Научно-издательский центр ИНФРА-М»