Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Show image information

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

Dr. Marie-Christine Jakobs

Office: O4.128
Phone: +49 5251 60-1767
E-mail: mcjakobs(at)mail.uni-paderborn(dot)de

Prof. Dr. Heike Wehrheim

Office: O4.225
Phone: +49 5251 60-4331
E-mail: wehrheim(at)uni-paderborn(dot)de

Sponsored By

The University for the Information Society