2nd International Workshop on CPAchecker (CPA'17)

September 4 - 5, 2017 in Paderborn


The goal of the 2nd International Workshop on CPAchecker is to bring together researchers and practitioners that are interested in the open-source verification framework CPAchecker. The presentations include new concepts and algorithms in CPAchecker, application to interesting problems, experience reports, and discussion on further directions of the open-source project. The workshop is a presentations-only event, i.e., there are no proceedings.


Prof. Dr. Heike Wehrheim

Office: O4.225
Phone: +49 5251 60-4331
E-mail: wehrheim@uni-paderborn.de

Sponsored By