4-Oct-2019: CPA&LDV Workshop took place in Frauenchiemsee

Submitted by Vadim Mutilin on Fri, 04/10/2019 - 10:03

CPA&LDV Workshop was held in Frauenchiemsee, Germany on October 1-2, 2019.

The presentations at the workshop discussed various aspects of static verification. The invited speakers Matthias Heizmann from University of Freiburg and Philipp Berger from RWTH Aachen shared their insights in companion projects. Many important topics in CPAchecker development were raised like witness validation and visualization, symbolic memory graphs, thread modular analysis. Further action items were identified.

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

We thank Dirk Beyer, Martin Spiessl and people of the SoSy-Lab, LMU Munich for organizing the workshop.