Mission and Activities of the Linux Verification Center

user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 328 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.38/modules/taxonomy/taxonomy.module on line 640.

The mission of the Center is to propagate the Linux platform by ensuring its high reliability and compatibility through the use of open standards/specifications and advanced testing and verification technologies.

  • Development of open source verification and testing frameworks for automated verification of Linux-based systems.
  • Providing methods, tools and support for building safety-critical products on top of Linux and other open source technologies.
  • Dissemination of academic and industrial expertise in the
    area of requirements analysis and advanced testing and verification.
The Center is supported by the Ministry of Science and Higher Education of the Russian Federation, by the international consortium The Linux Foundation and is based at the Institute for System Programming of the Russian Academy of Sciences (ISPRAS).