Поиск состояний гонки методами статического анализа

Андрианов Павел. Начало семинара - 12 февраля 2014 г.

Ошибки, связанные с многопоточным выполнением, остаются одними из самых сложно выявляемых. Наиболее распространенными причинами таких ошибок являются состояния гонок. Одним из способов поиска состояний гонок является использование методов статического анализа, в частности метода адаптивного статического анализа. В докладе будет рассказано о методе статического анализа, реализованного в инструменте CPAchecker, для поиска состояний гонок и об одном из направлений развития данного подхода - применении метода CEGAR (Counter Example Guided Abstraction Refinement) для этого.

Семинар группы

Технологии программирования

Перейти к списку семинаров ИСП РАН