31.10.2011: Центр верификации на LinuxCon Europe 2011

Сотрудники Центра верификации ОС Linux Евгений Шатохин и Алексей Хорошилов представили на конференции LinuxCon Europe 2011, проходившей с 26 по 28 октября 2011 года в городе Прага, Чехия, текущие достижения проектов по улучшению качества модулей ядра ОС Linux, ведущихся в Центре верификации.

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

Слайды выступлений доступны в разделе Публикации:

• Евгений Шатохин. "Использование динамического анализа для выявления проблем в модулях ядра" .
• Алексей Хорошилов. "Верификация драйверов устройств с помощью Linux Driver Verification" .