07.09.2017: В Падерборне состоялся седьмой Linux Driver Verification Workshop

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

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

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