В России открылся Центр верификации ОС Linux

В России открылся Центр верификации ОС Linux

Институт системного программирования Российской Академии Наук (ИСП РАН) выиграл конкурс Федерального агентства по науке и инновациям на формализацию стандартов для Linux, разработку соответствующего открытого (open source) тестового набора и создание Центра верификации ОС Linux, пишет OpenNET.

Директор ИСП РАН, член-корреспондент РАН Виктор Петрович Иванников на совещании по Open Source в России сказал: «ИСП РАН рассматривает этот проект как старт долгосрочной программы, нацеленной на повышение добротности системного программного обеспечения в мире Linux. Спецификация интерфейсов операционной системы и их стандартизация это первый шаг в создании надежных, совместимых платформ для различных приложений».