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