| Competition Report: CHC-COMP-21 G Fedyukovich, P Rümmer arXiv preprint arXiv:2109.04635, 2021 | 19 | 2021 |
| Beyond the elementary representations of program invariants over algebraic data types Y Kostyukov, D Mordvinov, G Fedyukovich Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 18 | 2021 |
| CHC-COMP 2023: Competition Report E De Angelis arXiv preprint arXiv:2404.14923, 2024 | 12 | 2024 |
| Обнаружение неточно повторяющегося текста в документации программного обеспечения ЛД Кантеев, ЮО Костюков, ДВ Луцив, ДВ Кознов, МН Смирнов Труды Института системного программирования РАН 29 (4), 303-314, 2017 | 4* | 2017 |
| Collaborative Inference of Combined Invariants Y Kostyukov, D Mordvinov, G Fedyukovich Proceedings of 24th In ternational Conference on Logic for Programming …, 2023 | 2 | 2023 |
| Automated testing of LLVM programs with complex input data structures AV MISONIZHNIK, AA BABUSHKIN, SA MOROZOV, YO KOSTYUKOV, ... Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2022 | 2 | 2022 |
| Автоматическое доказательство корректности программ с динамической памятью ЮО Костюков, КА Батоев, ДА Мордвинов, МП Костицын, ... Труды Института системного программирования РАН 31 (5), 37-62, 2019 | 1 | 2019 |
| KLEEF: Symbolic Execution Engine (Competition Contribution) A Misonizhnik, S Morozov, Y Kostyukov, V Kalugin, A Babushkin, ... International Conference on Fundamental Approaches to Software Engineering …, 2024 | | 2024 |
| Generation of the weakest preconditions of programs with dynamic memory in symbolic execution AV Misonizhnik, YO Kostyukov, MP Kostitsyn, DA Mordvinov, DV Koznov Journal Scientific and Technical Of Information Technologies, Mechanics and …, 2022 | | 2022 |
| Автоматическое тестирование LLVM-программ со сложными входными структурами данных АВ Мисонижник, АА Бабушкин, СА Морозов, ЮО Костюков, ... Труды Института системного программирования РАН 34 (4), 49-62, 2022 | | 2022 |
| Генерация слабейших предусловий программ с динамической памятью в символьном исполнении АВ Мисонижник, ЮО Костюков, МП Костицын, ДА Мордвинов, ... Научно-технический вестник информационных технологий, механики и оптики 22 …, 2022 | | 2022 |
| Solving Constrained Horn Clauses over ADTs by Finite Model Finding Y Kostyukov, D Mordvinov, G Fedyukovich arXiv preprint arXiv:2108.00225, 2021 | | 2021 |
| Автоматический вывод регулярных инвариантов программ с алгебраическими типами данных Ю Костюков | | |
| Поддержка unsafe кода в символьной виртуальной машине .NET ЮО Костюков | | |
| Композициональная верификация программ с динамической памятью на основе дизъюнктов Хорна Ю Костюков | | |
Dmitry MordvinovСПбГУVerified email at spbu.ru
