Институт системного программирования им. В.П. Иванникова РАН


Интеграция методов верификации программных систем.

Авторы

В. В. Кулямин.

Аннотация

В статье предлагается подход к построению расширяемой среды верификации программных систем, которая, по мнению автора, поможет решить проблемы практической применимости современных строгих методов верификации к практически значимым программам, сложность которых все время растет. Она же может стать своего рода испытательным стендом для апробации и отладки большого числа новых предлагаемых техник формальных верификации и
статического анализа на разнообразном промышленном программном обеспечении.

Полный текст статьи в формате pdf

Издание

Программирование, 35(4):41-55, 2009.

Научная группа

Технологии программирования

Все публикации за 2009 год Все публикации