7-Sep-2017: 7th Linux Driver Verification Workshop took place in Paderborn

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 = 294 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.38/modules/taxonomy/taxonomy.module on line 640.

7th Linux Driver Verification Workshop was held in Paderborn, Germany on September 4-5 colocated with 2nd International Workshop on CPAchecker.

The presentations at the workshop discussed various aspects of static verification, including speed and precision of verification, scalability, checked properties and production quality. During the workshop many important topics were raised and further action items were identified.

The talks were given by team of Linux Verification Center, ISPRAS (Russia), LMU Munich, TU Darmstadt, University of Paderborn. The program of the workshop and descriptions of talks are available here.