24.02.2012: Центр верификации на Embedded World 2012

Центр верификации ОС Linux будет представлен в рамках стенда Open Source Automation Development Lab на выставке Embedded World 2012, которая пройдет с 28 февраля по 1 марта 2012 года в городе Нюрнберг, Германия. Приглашаем всех посетить стенд 341 в павильоне № 5.

Также в рамках параллельно проходящей конференции Алексей Хорошилов представит 1 марта доклад "Опыт применения тяжеловесных инструментов верификации для анализа исходного кода драйверов ОС Linux".