Objectives
- Configurable Verification Platform
CPAchecker is a tool for configurable software verification. Our implementation is guided by the concepts described in the CAV'07 paper "Configurable Software Verification" and in the ASE'08 paper "Program Analysis with Dynamic Precision Adjustment".
The name CPAchecker was chosen to reflect that the tool is based on the CPA concepts and is used for checking software programs.
News
- CPAchecker 4.1 released! Release notes, Download
- Slides of the talks on the 10th International Workshop on CPAchecker (CPAchecker'25) that was held on 2025-06-28 in Trondheim, Norway, are now available.
- In 2025, CPAchecker is part of Google Summer of Code again! If you are interested in being paid by Google for contributing to CPAchecker, check our project ideas and instructions.
- CPAchecker wins 5 medals, including a silver medal in the summary category Overall and 4 gold medals, in the 14th Competition on Software Verification (SV-COMP'25).
- A Tutorial for CPAchecker 3.0 was published at FM 2024 (recording of the presentation) and as extended version on arXiv!
- The CPAchecker team receives a Goedel medal at the Vienna Summer of Logic during the Awards Ceremony from Edmund Clarke (Photo VSL/Meister), “for their contributions to the development of efficient verification methods and algorithms, for technology transfer by implementing the techniques in robust software systems, and for the successful participation of their verifiers in the last three years of SV-COMP.”
