Промский Алексей Владимирович

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

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