Главная страница « Спецсеминары «

Спецсеминар «Корректность программ»

Руководители:
доктор физ.-мат. наук Петренко Александр Константинович,
канд. физ.-мат. наук Хорошилов Алексей Владимирович,
канд. физ.-мат. наук Кулямин Виктор Вячеславович

вернуться на страницу спецсеминара

Новости
Информация
Преподаватели и сотрудники
Студенты и аспиранты
Научно-исследовательский семинар
Просеминар
Спецкурсы
Проекты
Ссылки
Поиск

ВЕРИФИКАЦИЯ ДРАЙВЕРОВ Linux



Заинтересовались?
Напишите нам:
Хорошилов Алексей
khoroshilov@ispras.ru




Драйвер – это программа на Си без функции main, в которой есть обработчики событий от аппаратуры. Мы занимаемся описанием того, по каким правилам должен работать драйвер, а также разработкой собственно инструментов верификации драйверов.

Сейчас нам интересны такие исследования:

  1. Масштабируемость верификации;

  2. Распараллеливание верификации;

  3. Расширение набора правил, по которым должны работать драйверы;

  4. Качество анализа драйверов.

Присоединяйтесь!

  

© Кафедра системного программирования ВМК МГУ.

Обновлено: 11.6.2009