2nd International Workshop on CPAchecker (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.
Organizers
Prof. Dr. Heike Wehrheim |
Office: O4.225 |