14-Dec-2005: ISP RAS participates in IBM seminar on Linux testing

On 14 December 2005, IBM EE/A conducted a seminar devoted to discussing activities of the Linux Verification Center. Key speakers were:

• Director of Government Programs of IBM EE/A M.A. Guriev;
• Director of ISP RAS, Corresponding Member of RAS, Prof. V.P. Ivannikov;
• Head of UniTesK Lab, Dr. A.K. Petrenko (slides "UniTesK: Testing Technology Based on Formal Specification" );
• Project Manager of the Linux Verification Center , V.V. Rubanov (slides "Establishing Linux Verification Center and Creation of an Open-Source LSB Test Suite" ).