Рекомендованный список диссертаций по специальности «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», 05.13.11 шифр ВАК
Методы декомпозиции систем и моделирования окружения программных модулей для верификации Си-программ2019 год, кандидат наук Захаров Илья Сергеевич
Верификация распределенных программ методом проверки на модели2002 год, кандидат физико-математических наук Царьков, Дмитрий Викторович
Развитие метода контрактных спецификаций для верификации модулей ядра операционной системы LINUX2013 год, кандидат наук Новиков, Евгений Михайлович
Поиск ошибок переполнения буфера в исходном коде программ с помощью символьного выполнения2019 год, кандидат наук Дудина Ирина Александровна
Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации2016 год, кандидат наук Ермаков, Антон Дмитриевич