Now our news are available on Twitter. Click here to followe us.
We have started reconstruction and contents update of the Linux Verification Center's web site. The planned date to launch the new site is the end of 2009.
Goals and content of the Program will be presented by Alexey Khoroshilov in the talk "Establishing Linux Driver Verification Process" at the Seventh International Andrei Ershov Memorial Conference «PERSPECTIVES OF SYSTEM INFORMATICS» PSI'09, which takes place June 15-19, 2009 in Academgorodok, Novosibirsk, Russia.
Also Victor Kuliamin will discuss issues of standardization and testing of mathematical functions at the conference.
Everybody interested are welcome to contact us before or during this event to appoint a face to face meeting.
Linux Verification Center at the Institute for System Programming of RAS announces the public availability of ABI Compliance Checker, a new tool ensuring Application Binary Interface (ABI) compatibility of different versions of a C or C++ library. The tool is aimed at helping upstream developers and distribution maintainers to make sure that any application compiled with an old version of the library will work with a newer version.
OLVER Core 1.5 release has been published with improvements in test reports and testing quality (see detailed release notes below).
Please use the usual links for browsing OLVER project results: