Архив открытого доступаСанкт-Петербургского государственного университета
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/42043Полная запись метаданных
| Поле DC | Значение | Язык |
|---|---|---|
| dc.contributor.advisor | Куликов Егор Константинович | ru_RU |
| dc.contributor.advisor | Kulikov Egor Konstantinovic | en_GB |
| dc.contributor.author | Григорьев Савелий Алексеевич | ru_RU |
| dc.contributor.author | Grigorev Savelij Alekseevic | en_GB |
| dc.contributor.editor | Мордвинов Дмитрий Александрович | ru_RU |
| dc.contributor.editor | Mordvinov Dmitrij Aleksandrovic | en_GB |
| dc.date.accessioned | 2023-07-26T12:02:41Z | - |
| dc.date.available | 2023-07-26T12:02:41Z | - |
| dc.date.issued | 2023 | |
| dc.identifier.other | 075702 | en_GB |
| dc.identifier.uri | http://hdl.handle.net/11701/42043 | - |
| dc.description.abstract | В данной работе был описан алгоритм вывода индуктивных инвариантов при помощи двунаправленного исполнения в виртуальной символьной машине KLEE. Данная модификация позволила KLEE улучшить анализ кода программ путём вывода инвариантов для циклов. | ru_RU |
| dc.description.abstract | In this paper, the algorithm for the inference of inductive invariants using bidirectional execution in a KLEE symbolic virtual machine was described. This modification allowed KLEE to improve the analysis of program code by inferring invariants for loops. | en_GB |
| dc.language.iso | ru | |
| dc.subject | Символьное исполнение | ru_RU |
| dc.subject | индуктивные инварианты | ru_RU |
| dc.subject | автогенерация тестовых данных | ru_RU |
| dc.subject | Symbolic execution | en_GB |
| dc.subject | inductive invariants | en_GB |
| dc.subject | autogeneration of test data | en_GB |
| dc.title | Application of bidirectional symbolic execution to inference of inductive invariants in KLEE symbolic virtual machine | en_GB |
| dc.title.alternative | Применение двунаправленного исполнения для вывода индуктивных инвариантов в символьной виртуальной машине KLEE | ru_RU |
| Располагается в коллекциях: | 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 | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.