27-Sep-2018: CPA&LDV Workshop took place in Moscow

CPA&LDV Workshop was held in Moscow, Russia on September 25-26.

The presentations at the workshop discussed various aspects of static verification, including cooperation of analyses, testing, program slicing, thread modular analysis and scaling of the analysis on multiple cores. During the workshop many important topics were raised and further action items were identified.

The talks were given by team of Linux Verification Center, ISPRAS (Russia), LMU Munich, TU Darmstadt, University of Paderborn. The program of the workshop, talk abstracts and presentations are available here.