|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2024 |
| 1. |
С. М. Старолетов, Д. А. Кондратьев, Н. О. Гаранина, И. В. Шошмина, “Соревнования по формальной верификации VeHa-2023: опыт проведения”, Труды ИСП РАН, 36:2 (2024), 141–168  |
|
2023 |
| 2. |
D. A. Kondrat'ev, “Logic for reasoning about bugs in loops over data sequences (IFIL)”, Модел. и анализ информ. систем, 30:3 (2023), 214–233 |
|
2021 |
| 3. |
Д. А. Кондратьев, “На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer”, Модел. и анализ информ. систем, 28:4 (2021), 372–393 |
|
2019 |
| 4. |
Д. А. Кондратьев, А. В. Промский, “Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах”, Модел. и анализ информ. систем, 26:4 (2019), 502–519 |
|
2018 |
| 5. |
Н. В. Шилов, Д. А. Кондратьев, И. С. Ануреев, Е. В. Бодин, А. В. Промский, “Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня”, Модел. и анализ информ. систем, 25:6 (2018), 637–666 |
2
|
| 6. |
Д. А. Кондратьев, И. В. Марьясов, В. А. Непомнящий, “Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов”, Модел. и анализ информ. систем, 25:5 (2018), 491–505 |
2
|
|
2017 |
| 7. |
I. V. Maryasov, V. A. Nepomniaschy, D. A. Kondratyev, “Invariant elimination of definite iterations over arrays in C programs verification”, Модел. и анализ информ. систем, 24:6 (2017), 743–754  |
5
|
|
2014 |
| 8. |
Д. А. Кондратьев, А. В. Промский, “Разработка самоприменимой системы верификации. Теория и практика”, Модел. и анализ информ. систем, 21:6 (2014), 71–82 |
|
2013 |
| 9. |
И. В. Марьясов, В. А. Непомнящий, А. В. Промский, Д. А. Кондратьев, “Автоматическая верификация C-программ на основе смешанной аксиоматической семантики”, Модел. и анализ информ. систем, 20:6 (2013), 52–63 |
|
Обратная связь: