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

Keine Personen gefunden.

Spon­so­red By