04.10.2019: На острове Фрауэнкимзе прошел семинар CPA&LDV 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 = 331 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.38/modules/taxonomy/taxonomy.module on line 640.
Опубликовано Vadim Mutilin в ПТ, 04/10/2019 - 10:03

Семинар CPA&LDV Workshop прошел на острове Фрауэнкимзе, Германия с 1 по 2 октября, 2019 года.

Презентации на семинаре были посвящены различным аспектам статической верификации. Приглашенные докладчики Matthias Heizmann из университета Фрайбурга и Philipp Berger из RWTH Aachen поделились достижениями в аналогичных проектах. В рамках семинара поднимались важные вопросы по разработке инструмента CPAchecker, такие как визуализация и валидация витнесов, использование символьных графов памяти, анализ с раздельным рассмотрением потоков. Были выявлены направления для дальнейшего развития.

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

Мы благодарим Dirk Beyer, Martin Spiessl и коллег из лаборатории SoSy-Lab Мюнхенского университета Людвига-Максимилиана за организацию семинара.