Журнал "Программная инженерия"
Теоретический и прикладной научно-технический журнал
ISSN 2220-3397

Номер 3 2012 год

УДК: 004.4
Формальная верификация C и C++ программ: практические аспекты
Ф. М. Пучков, канд. физ.-мат. наук., ст. науч. сотр., e-mail: fedormex@iisi.msu.ru, К. А. Шапченко, канд. физ.-мат. наук., ст. науч. сотр., e-mail: shapchenko@iisi.msu.ru, Научно-исследовательский институт механики МГУ имени М. В. Ломоносова

Рассматривается современное состояние исследований в области формальной верификации программного обеспечения. Предлагаются подходы по совершенствованию традиционных методов и средств верификации для автоматизированного обнаружения ошибок времени выполнения в программах на языках C и C++.

Ключевые слова: формальная верификация программ, статический анализ, информационная безопасность
Стр. 34–47