|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2023 |
| 1. |
S. A. Morozov, A. V. Misonizhnik, D. A. Mordvinov, D. V. Koznov, D. A. Ivanov, ““Symcrete” memory model with lazy initialization and objects of symbolic sizes in KLEE”, Труды ИСП РАН, 35:3 (2023), 91–108  |
|
2022 |
| 2. |
А. В. Мисонижник, А. А. Бабушкин, С. А. Морозов, Ю. О. Костюков, Д. А. Мордвинов, Д. В. Кознов, “Автоматическое тестирование LLVM-программ со сложными входными структурами данных”, Труды ИСП РАН, 34:4 (2022), 49–62 |
1
|
|
2019 |
| 3. |
Ю. О. Костюков, К. А. Батоев, Д. А. Мордвинов, М. П. Костицын, А. В. Мисонижник, “Автоматическое доказательство корректности программ с динамической памятью”, Труды ИСП РАН, 31:5 (2019), 37–62 |
|
Обратная связь: