04.10.2019: На острове Фрауэнкимзе прошел семинар CPA&LDV Workshop

Опубликовано 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 Мюнхенского университета Людвига-Максимилиана за организацию семинара.