Documentation
Using CPAchecker
- Instructions for installation
If you have problems with the installation, please contact us (either via mailing list or Dirk). - Getting started with CPAchecker
- Tutorials
- More information ...
- Counterexample report for an example program with a bug found by CPAchecker
- Project statistics at OpenHUB
Understanding CPAchecker
- Basic Architecture and Concepts
- Slides
- CPAchecker: A Tool for Configurable Software Verification. CAV 2011
- Configurable Software Verification. CAV 2007
- Program Analysis with Dynamic Precision Adjustment. ASE 2008
- Combining Model Checking and Data-Flow Analysis. Handbook on Model Checking 2018
- Predicate Analysis
- Explicit-State Software Model Checking Based on CEGAR and Interpolation. FASE 2013
Possible Projects
A selection of available topics can be found here. We have prepared a specific list of ideas that would be suitable for a Google Summer of Code project. We also encourage developers to bring new ideas and implement new approches.
CPAchecker Workshops
Since 2016 a yearly workshop is organized for users and developers of CPAchecker:
- 8th International Workshop on CPAchecker (CPA '23): September 11, 2023 in Kirchberg, Luxembourg (program and slides).
- 7th International Workshop on CPAchecker (CPA '22): October 5-6, 2022 in Oldenburg, Germany (program and slides).
- 6th International Workshop on CPAchecker (CPA '21): September 30-October 1, 2021 online (program, slides, and videos).
- 5th International Workshop on CPAchecker (CPA '20): September 28-29, 2020 online (program and slides)
- 4th International Workshop on CPAchecker (CPA '19): October 1-2, 2019 in Frauenchiemsee, Germany (program and slides)
- 3rd International Workshop on CPAchecker (CPA '18): September 25-26, 2018 in Moscow, Russia, together with the 8th Linux Driver Verification (LDV) Workshop (program and slides)
- 2nd International Workshop on CPAchecker (CPA '17): September 4-5, 2017 in Paderborn, Germany (program and slides)
- 1st International Workshop on CPAchecker (CPA '16): September 22-23, 2016 in Passau, Germany (program and slides)