УДК: 004.4

Формальная верификация C и C++ программ: практические аспекты

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

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

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

Стр. 34–47