Миссия Центра верификации ОС Linux

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

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

»