2nd In­ter­na­ti­o­nal Work­shop on CPA­che­cker (CPA'17)

September 4 - 5, 2017 in Paderborn

About

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.

Or­ga­ni­zers

Prof. Dr. Heike Wehrheim

Büro: O4.225
Telefon: +49 5251 60-4331
E-Mail: wehrheim@uni-paderborn.de

Spon­so­red By