15-Jun-2018: CPA&LDV Workshop 2018 will take place in Moscow

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

The joint 3rd International Workshop on CPAchecker (CPA) and 8th Linux Driver Verification (LDV) Workshop
will take place on September 25-26, 2018 in Moscow, Russia.

The goal of the workshop is to bring together researchers and practitioners that work in the area of functional, safety, and security verification of real-life software written in C and that are interested in the open-source verification framework CPAchecker. The presentations at the workshop include specifics of real-world verification of C programs, experience reports, new concepts and algorithms in CPAchecker, and discussion on further directions.

This year the workshop is organized by the Ivannikov Institute for System Programming Russian Academy of Sciences. See details on the event page.