|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2019 |
| 1. |
Д. А. Кондратьев, А. В. Промский, “Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах”, Модел. и анализ информ. систем, 26:4 (2019), 502–519  |
|
2018 |
| 2. |
Н. В. Шилов, Д. А. Кондратьев, И. С. Ануреев, Е. В. Бодин, А. В. Промский, “Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня”, Модел. и анализ информ. систем, 25:6 (2018), 637–666 |
2
|
|
2014 |
| 3. |
Д. А. Кондратьев, А. В. Промский, “Разработка самоприменимой системы верификации. Теория и практика”, Модел. и анализ информ. систем, 21:6 (2014), 71–82 |
|
2013 |
| 4. |
И. В. Марьясов, В. А. Непомнящий, А. В. Промский, Д. А. Кондратьев, “Автоматическая верификация C-программ на основе смешанной аксиоматической семантики”, Модел. и анализ информ. систем, 20:6 (2013), 52–63 |
|
2011 |
| 5. |
А. В. Промский, “Верификация Си-программ: объяснение условий корректности и стандартная библиотека”, Модел. и анализ информ. систем, 18:4 (2011), 157–167 |
|
2010 |
| 6. |
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский, “Верификация C-программ в мультиязыковой системе СПЕКТР”, Модел. и анализ информ. систем, 17:4 (2010), 88–100 |
6
|
|
Обратная связь: