27-Feb-2006: The First Results of the OLVER Project

News

The first intermediate results of the OLVER project are presented at the web-site of the Linux Verification Center:

  • a requirements catalog for 223 functions of the LSB Core 3.1;
  • formal specifications for the aforementioned 223 functions of the LSB Core 3.1;
  • selected examples of the possible semantic issues found by the members of the Center in the text of LSB 3.1 and POSIX standards;
  • demo examples of the tests for selected groups of functions with annotated examples that allow understanding the technologies used and the architecture of the test suite;
  • current snapshot of all the source code and specifications being developed that shows the current status of the project. At the present, the suite contains specifications and test scenarios for about 350 functions that are in various stages of implementation.

See press release PDF for details.