2nd In­ter­na­tion­al Work­shop on CPAcheck­er (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.


No persons found.

Sponsored By