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

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: