Архив открытого доступаСанкт-Петербургского государственного университета
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
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 | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.