Просмотр собрания по группе - Авторы Mordvinov Dmitrij Aleksandrovic
Результаты 1 по 4 из 4
Предварительный просмотр | Дата выпуска | Название | Автор(ы) |
---|---|---|---|
2023 | Application of bidirectional symbolic execution to inference of inductive invariants in KLEE symbolic virtual machine | Григорьев Савелий Алексеевич; Grigorev Savelij Alekseevic | |
2022 | Constraints management in V# symbolic virtual machine | Паршин Максим Алексеевич; Parsin Maksim Alekseevic | |
2023 | Design and implementation of the universal symbolic virtual machine | Поспелов Сергей Андреевич; Pospelov Sergej Andreevic | |
2023 | Development of the tool for automatic isolation of LLVM code under test | Шмидт Светлана Андреевна; Smidt Svetlana Andreevna |