Linux Verification Center was founded with support of the Russian Federal Agency for Science and Innovations. The Center is also supported by The Linux Foundation, the leading international consortium dedicated to fostering the growth of Linux.
The Center was granted by a Google Research Award (2011-2012) "Instrumentation and Data Collection Framework for Dynamic Data Race Detection in Linux Kernel Modules" for the KEDR Framework project. Also ABI Compliance Checker project of the Center was supported by Nokia in 2011. Since 2013 we apply deductive verification techniques to Linux kernel code and improve corresponding tools in cooperation with RusBiTech.
ISPRAS is a base organisation for two subcommittees of TK-MTK-22 "Information Technology" committee, a national clone of ISO/IEC JTC1 that represents Russian position in ISO:
- standardization subcommittee for programming languages, their environments and system software interfaces (analogue of ISO/IEC JTC1/SC22);
- standardization subcommittee for Distributed Application Platforms and Services (analogue of ISO/IEC JTC1/SC38).
Linux Verification Center collaborates with Software Systems Laboratory of University of Passau (Germany) for advanced source code static verification tools. The joint research covers development of static verification tools BLAST and CPAchecker, as well as integration of the tools in Linux Driver Verification toolset.
Since 2011 Linux Verification Center is an academic member of Open Source Automation Development Lab. The topics of joint research include verification of Real-Time Linux as well as methods, tools and support for building safety-critical products on top of Linux and other open source technologies (incl. consideration of requirements of DO-178B, BS EN 50128, IEC 60880, IEC 61508, IEC 62304, etc.).