30-Jun-2017: A.P. Ershov Informatics Conference took 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 = 287 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.38/modules/taxonomy/taxonomy.module on line 640.

11th A.P. Ershov Informatics Conference (the PSI Conference Series) has taken place in Moscow, Russia. At the conference Evgeny Novikov and Ilja Zakharov, who represent the Linux Driver Verification project, gave a talk dedicated to features and problems of application of existing static verification tools to arbitrary GNU C programs.

Mikhail Mandrykin and Alexey Khoroshilov represented the Linux Deductive Verification project and gave a talk on an efficient region-based memory model for deductive verification of Linux kernel code with support for arbitrary pointer arithmetic and pointer type casts.