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

user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 325 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.38/modules/taxonomy/taxonomy.module on line 640.
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.