Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/42043
Название: | Application of bidirectional symbolic execution to inference of inductive invariants in KLEE symbolic virtual machine |
Другие названия: | Применение двунаправленного исполнения для вывода индуктивных инвариантов в символьной виртуальной машине KLEE |
Авторы: | Куликов Егор Константинович Kulikov Egor Konstantinovic Григорьев Савелий Алексеевич Grigorev Savelij Alekseevic Мордвинов Дмитрий Александрович Mordvinov Dmitrij Aleksandrovic |
Дата публикации: | 2023 |
URI (Унифицированный идентификатор ресурса): | http://hdl.handle.net/11701/42043 |
Располагается в коллекциях: | BACHELOR STUDIES |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
st075702.pdf | Article | 380,95 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_Otzyv_naucnogo_rukovoditela_na_bakalavrskuu_Grigoreva_S.A..pdf | ReviewSV | 79,21 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_st075702_Grigorev_Savelij_Alekseevic_(supervisor)(Ru).txt | ReviewSV | 6,28 kB | Text | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.