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.




Standardization Partners

Linux Verification Center works in collaboration with Linux Foundation and Austin Common Standards Revision Group on LSB and POSIX specifications.

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).
Academic Partners

Linux Verification Center collaborates with Software Systems Laboratory of Ludwig-Maximilians-Universität München (LMU) (Germany) on advanced software verification techniques. The joint research includes development of CPAchecker static verification tool and its integration into 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.).


Logo LMU