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


Опыт развития инструмента статической верификации BLAST.

Авторы

Швед П.Е., Мутилин В.С., Мандрыкин М.У.

Аннотация

Статический верификатор BLAST является одним лучших открытых верификаторов, работающих с программами на языке Си. В статье описываются принципы реализации BLAST, те ограничения, которые выявились при его практическом использовании для верификации драйвером ОС Linux и опыт развития BLAST, полученный в проекте LDV (Linux Driver verification).

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

Издание

Программирование. Выпуск 3.

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

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

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