Documentation
New tutorial for CPAchecker 3.0 available!Covers installation, first steps, and how to use different analyses.
This is an extended version of a publication at FM 2024. A recording of the tutorial at FM 2024 is now also available.
Further links for more information on how to use CPAchecker
- Instructions for installation
If you have problems with the installation, please contact us (either via mailing list or Dirk). - Getting started with CPAchecker
- More tutorials on specific aspects of CPAchecker
- Documentation overview...
- 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:
- 9th International Workshop on CPAchecker (CPA '24): September 09, 2024 in Milano, Italy, cohosted with FM '24 (program and slides).
- 8th International Workshop on CPAchecker (CPA '23): September 11, 2023 in Kirchberg, Luxembourg, cohosted with ASE '23 (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)
