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


Метод автоматической адаптации спецификаций правил корректности.

Авторы

Илья Щепетков

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

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

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

Издание

Сборник тезисов XXI Международной научной конференции студентов, аспирантов и молодых учёных «ЛОМОНОСОВ-2014», стр. 124-126.

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

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