The workshop will take place as an in-person event on 05.10 and 06.10.2022 in Oldenburg.

It is planned to take place for 1.5 days, (full day at 5.10, the half day at 6.10)

The goal of the 7th 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.