|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Поиск ошибок переполнения буфера в исходном коде программ с помощью символьного выполнениядиссертация
- Научный руководитель: Белеванцев А.А.
- Автор: Дудина И.А.
- Дата защиты: 16 мая 2019 года
- Шифр диссертационного совета: Д 002.087.01
- Организация: ИСП РАН
- Область знаний: Физика и математика
- Специальность: 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
- Тип диссертации: Кандидатская
- Ведущая организация: Федеральный исследовательский центр «Информатика и управление» Российской академии наук
- Организация, в которой выполнялась работа: Федеральное государственное бюджетное учреждение науки Институт системного программирования им. В.П. Иванникова РАН и кафедра системного программирования факультета вычислительной математики и кибернетики Федерального государственного бюджетного образовательного учреждения высшего образования «Московский государственный университет имени М.В. Ломоносова»
- Оппоненты: Галатенко В.А., Волконский В.Ю.
- Добавил в систему: Корныхин Евгений Валерьевич
- Результаты диссертации получены в рамках проектов: