НАВИГАЦИЯ:
НОВОСТИ
Дата публикации 17 января 2023
Миссия Центра верификации ОС Linux - продвижение платформы Linux путем обеспечения ее высокой надежности и совместимости с помощью открытых стандартов и наукоемких технологий верификации и тестирования.
Центр верификации ОС Linux создан в сентябре 2005 года при поддержке Минобрнауки России и активно поддерживается международным консорциумом The Linux Foundation.
Центр действует на базе Института системного программирования им. В.П.Иванникова Российской Академии Наук (ИСП РАН), который, в свою очередь, входит в Отделение математических наук Российской Академии Наук и является научной организацией, подведомственной Минобрнауки России.
Сотрудничество с Институтом системного программирования им. В.П.Иванникова Российской Академии Наук (ИСП РАН)
В 2022 году специалисты ООО «ИТБ» подключились к работам по разметке уязвимостей ядра ОС Linux под методическим руководством и содействии Центра верификации ОС Linux ИСП РАН (http://www.linuxtesting.ru/).Миссия Центра верификации ОС Linux - продвижение платформы Linux путем обеспечения ее высокой надежности и совместимости с помощью открытых стандартов и наукоемких технологий верификации и тестирования.
Центр верификации ОС Linux создан в сентябре 2005 года при поддержке Минобрнауки России и активно поддерживается международным консорциумом The Linux Foundation.
Центр действует на базе Института системного программирования им. В.П.Иванникова Российской Академии Наук (ИСП РАН), который, в свою очередь, входит в Отделение математических наук Российской Академии Наук и является научной организацией, подведомственной Минобрнауки России.
Подписывайтесь на канал ООО «Инновационные Технологии в Бизнесе» в Twitter, чтобы первыми узнавать о новостях и эксклюзивных материалах компании.