Research RepositorySaint Petersburg State University
Please use this identifier to cite or link to this item:
http://hdl.handle.net/11701/42043| Title: | Application of bidirectional symbolic execution to inference of inductive invariants in KLEE symbolic virtual machine |
| Other Titles: | Применение двунаправленного исполнения для вывода индуктивных инвариантов в символьной виртуальной машине KLEE |
| Authors: | Куликов Егор Константинович Kulikov Egor Konstantinovic Григорьев Савелий Алексеевич Grigorev Savelij Alekseevic Мордвинов Дмитрий Александрович Mordvinov Dmitrij Aleksandrovic |
| Issue Date: | 2023 |
| URI: | http://hdl.handle.net/11701/42043 |
| Appears in Collections: | BACHELOR STUDIES |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| st075702.pdf | Article | 380,95 kB | Adobe PDF | View/Open |
| reviewSV_Otzyv_naucnogo_rukovoditela_na_bakalavrskuu_Grigoreva_S.A..pdf | ReviewSV | 79,21 kB | Adobe PDF | View/Open |
| reviewSV_st075702_Grigorev_Savelij_Alekseevic_(supervisor)(Ru).txt | ReviewSV | 6,28 kB | Text | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.