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

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

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

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