27.09.2016: В Пассау состоялся шестой Linux Driver Verification Workshop

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

22-23 сентября 2016 года в Пассау, Германия состоялся пятый международный семинар Linux Driver Verification совместно с первым международным семинаром по инструменту CPAchecker.

Цель семинара состоит в обмене опытом между исследователями и практиками, работающими в области верификации индустриального программного обеспечения на языке программировния Си на предмет выполнения функциональных свойств и свойств безопасности, заинтересованными в использовании открытого инструмента верификации CPAchecker. Презентации на семинаре включают особенности верификации индустриального программного обеспечения на языке программирования Си, обмен опытом, новые концепции и алгоритмы в инструменте CPAchecker, дискуссии и направления дальнейшего развития.

Доклады были представлены командами Центра верификации ОС Linux, ИСП РАН (Россия), Мюнхенским университетом Людвига-Максимилиана (LMU Munich), Университетом Пассау, Университетом Падеборна, Техническим университетом Гамбурга, компанией Сименс (Германия), исследовательским центром VERIMAG (Франция). Программу семинара и описания докладов можно найти по ссылке.