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

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