15.06.2018: В Москве пройдет международный семинар CPA&LDV Workshop 2018

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

Совместный третий международный семинар по инструменту CPAchecker (CPA) и восьмой семинар по верификации драйверов ОС Linux (LDV) состоится 25-26 сентябре в г.Москва, Россия.

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

В этом году организатором семинара выступает Институт системного программирования им. В.П. Иванникова РАН.
Детальное описание доступно странице мероприятия.