31-Oct-2011: Slides of our talks at LinuxCon Europe 2011 available

user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 162 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.38/modules/taxonomy/taxonomy.module on line 640.

Members of the Linux Verification Center team Alexey Khoroshilov and Eugene Shatokhin has provided talks presenting our ongoing projects aimed to improve quality of Linux kernel space modules at LinuxCon Europe 2011 that took place October 26-28, 2011 in Prague, Czech Republic.

After the talks we have many interesting questions and discussions. Many thanks to all for the active interest to our projects.

The slides are available from the Publications page: