Мордвинов Дмитрий Александрович

Публикации в базе данных Math-Net.Ru

1. “Symcrete” memory model with lazy initialization and objects of symbolic sizes in KLEE
   
   Труды ИСП РАН, 35:3 (2023),  91–108
2. Автоматическое тестирование LLVM-программ со сложными входными структурами данных
   
   Труды ИСП РАН, 34:4 (2022),  49–62
3. Направляемый свойством поиск реляционных инвариантов
   
   Модел. и анализ информ. систем, 26:4 (2019),  550–571
4. Автоматическое доказательство корректности программ с динамической памятью
   
   Труды ИСП РАН, 31:5 (2019),  37–62
5. Обзор применения формальных методов в робототехнике
   
   Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2016, № 1(236),  84–107
6. Visual dataflow language for educational robots programming
   
   Труды ИСП РАН, 28:2 (2016),  45–62