Международный семинар по CPAchecker

Posted by: Alexander Kamkin 1 month ago

28-29 сентября 2020 года в онлайн-формате прошел международный семинар по инструменту CPAchecker. Цель семинара – обмен опытом между исследователями и практиками, работающими в области верификации индустриального ПО и заинтересованными в использовании открытого инструмента CPAchecker.

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

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

Участники проекта В.С. Мутилин и П.С. Андрианов сделали доклад «Searching for Data Races with Support for RCU», в котором представили метод поиска состояний гонок при использовании механизма RCU (англ. Read-Copy Update). Метод расширяет существующий подход, реализованный в инструменте CPALockator. Эксперименты показали, что предложенный метод может успешно обнаруживать некоторые существующие ошибки.

Currently unrated
Share on Twitter Share on Facebook