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


Диагностика синтаксической совместимости правил корректности с ядром ОС Linux при статической верификации драйверов.

Авторы

Новиков Е.М., Щепетков И.В.

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

Ключевые слова

статическая верификация, спецификация правила корректного использования программного интерфейса, синтаксическая совместимость, аспектно-ориентированное программирование

Издание

Сборник научных трудов Научно-практической конференции «Актуальные проблемы системной и программной инженерии», 2013, стр. 192-201.

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

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

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