Linux Driver Verification Workshop

Семинар предоставляет уникальную возможность для обмена опытом между различными командами, занимающимися верификацией модулей ядра ОС Linux, а также для начала более плотного взаимодействия между проектами.

Семинар организуется проф. Дирком Бейером (Университет г. Пассау, Германия) и проф. Александром Петренко (Центр верификации ОС Linux, ИСП РАН).

Более подробную информацию можно получить здесь.

Мероприятие группы

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

Перейти к списку мероприятий ИСП РАН