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


О применении подхода CounterExample-Guided Abstraction Refinement к задаче статического анализа драйверов ядра «Линукc».

Авторы

П.Е. Швед В.С. Мутилин.

Издание

Труды 52-й научной конференции МФТИ «Современные проблемы фундаментальных и прикладных наук», Часть VII, Том 2, стр. 52-54, Москва-Долгопрудный, 2009.

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

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

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