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
- The 2nd International Workshop on CPAchecker (CPA'17) took place in Paderborn, Germany on September 4-5, 2017.
- Different configurations of CPAchecker win together 3 medals in the 6th Competition on Software Verification in the categories Overall, ReachSafety, and Termination.
- The 1st International Workshop on CPAchecker (CPA'16) will take place in Passau, Germany on September 22–23, 2016.
- CPAchecker 1.6.1 released! Release notes, Download
- Different configurations of CPAchecker win together 8 medals in the 5th Competition on Software Verification, including 3 gold medals in the categories Bitvectors, IntegerControlFlow, and DeviceDrivers64Linux.
- 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.”
