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