title: Design and implementation of the universal symbolic virtual machine
metadata.name: dc.contributor.advisor
metadata.value: Куликов Егор Константинович
metadata.lang: ru_RU
metadata.name: dc.contributor.advisor
metadata.value: Kulikov Egor Konstantinovic
metadata.lang: en_GB
metadata.name: dc.contributor.author
metadata.value: Поспелов Сергей Андреевич
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Pospelov Sergej Andreevic
metadata.lang: en_GB
metadata.name: dc.contributor.editor
metadata.value: Мордвинов Дмитрий Александрович
metadata.lang: ru_RU
metadata.name: dc.contributor.editor
metadata.value: Mordvinov Dmitrij Aleksandrovic
metadata.lang: en_GB
metadata.name: dc.date.accessioned
metadata.value: 2023-07-26T12:03:03Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2023-07-26T12:03:03Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2023
metadata.name: dc.identifier.other
metadata.value: 076773
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/42155
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: Эта работа посвящена проектированию и разработке универсальной символьной виртуальной машины. В работе описываются современные подходы в символьном исполнении, приводится архитектура и технические подробности реализованного решения, а также проводятся сравнения с аналогичными продуктами и замеры скорости работы.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: The work is about design and implementation of the unified symbolic virtual machine. There is an overview of the modern techniques in the symbolic execution, the description of the architecture and technical details of the solution. Also, there are results of comparisons of the solution with analogues and performance review.
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: ru
metadata.name: dc.subject
metadata.value: поиск ошибок
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: символьное исполнение
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: анализ программ
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: математическая логика
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: java
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: SMT-решатели
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: bug finding
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: symbolic execution
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: program analysis
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: logic theory
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: java
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: SMT-solvers
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Design and implementation of the universal symbolic virtual machine
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Проектирование и разработка универсальной символьной виртуальной машины
metadata.lang: ru_RU
resources.filename: st076773.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/42155/2/st076773.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 1,48 MB
resources.filename: reviewSV_Otzyv_naucnogo_rukovoditela_na_bakalavrskuu_Pospelova_S.A..pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/42155/3/reviewSV_Otzyv_naucnogo_rukovoditela_na_bakalavrskuu_Pospelova_S.A..pdf
resources.format: Adobe PDF
resources.description: ReviewSV
resources.size: 74,89 kB
resources.filename: reviewSV_st076773_Pospelov_Sergej_Andreevic_(supervisor)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/42155/4/reviewSV_st076773_Pospelov_Sergej_Andreevic_%28supervisor%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewSV
resources.size: 4,16 kB