Верификация кода RELAP/SCDAPSIM/MOD3.4 на экспериментах с повторным заливом моделей ТВС. Альтернативный анализ по коду КОРСАР/BR

Система сборки, анализа и верификации кода ОСРВ Embox

Физическая верификация и топологическое моделирование

Верификация композиции распределённой системы

Верификация программ с помощью языка Promela

Система верификации личности по динамике подписи OSVS

Трудности модульной верификации аппаратуры на примере буфера команд микропроцессора «эльбрус-2S»

Верификация моделей осаждения аэрозолей в коде СОКРАТ/В3 на данных эксперимента FALCON

Диагностические возможности ПЦР в верификации диагноза инфекционного мононуклеоза, вызванного вирусом Эпштейна-Барр

Верификация физической нереализуемости гравитационных сингулярностей