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

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

1. Соревнования по формальной верификации VeHa-2024: накопленный в течение двух лет опыт и перспективы
   
   Труды ИСП РАН, 37:1 (2025),  159–184
2. Соревнования по формальной верификации VeHa-2023: опыт проведения
   
   Труды ИСП РАН, 36:2 (2024),  141–168
3. Logic for reasoning about bugs in loops over data sequences (IFIL)
   
   Модел. и анализ информ. систем, 30:3 (2023),  214–233
4. На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer
   
   Модел. и анализ информ. систем, 28:4 (2021),  372–393
5. Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах
   
   Модел. и анализ информ. систем, 26:4 (2019),  502–519
6. Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня
   
   Модел. и анализ информ. систем, 25:6 (2018),  637–666
7. Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов
   
   Модел. и анализ информ. систем, 25:5 (2018),  491–505
8. Invariant elimination of definite iterations over arrays in C programs verification
   
   Модел. и анализ информ. систем, 24:6 (2017),  743–754
9. Разработка самоприменимой системы верификации. Теория и практика
   
   Модел. и анализ информ. систем, 21:6 (2014),  71–82
10. Автоматическая верификация C-программ на основе смешанной аксиоматической семантики
    
    Модел. и анализ информ. систем, 20:6 (2013),  52–63