Сотрудничество с Институтом системного программирования им. В.П.Иванникова Российской Академии Наук (ИСП РАН)

В 2022 году специалисты ООО «ИТБ» подключились к работам по разметке уязвимостей ядра ОС Linux под методическим руководством и содействии Центра верификации ОС Linux ИСП РАН (http://www.linuxtesting.ru/).

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

Центр верификации ОС Linux создан в сентябре 2005 года при поддержке Минобрнауки России и активно поддерживается международным консорциумом The Linux Foundation.
Центр действует на базе Института системного программирования им. В.П.Иванникова Российской Академии Наук (ИСП РАН), который, в свою очередь, входит в Отделение математических наук Российской Академии Наук и является научной организацией, подведомственной Минобрнауки России.