CPA
All Editions
Mon 12 - Fri 16 October 2026 Munich, GermanyCPAchecker 2026 with ASE 2026CPAchecker is a well-established open-source framework for automatic software verification. It has won many medals in the International Competition on Software Verification (SV-COMP) and helped identify hundreds of bugs in the Linux kernel. The International Workshop on CPAchecker is an annual event with its 11th edition in 2026. The workshops start with a keynote talk by a renowned speaker involved in cutting-ed ... |
Wed 25 - Sat 28 June 2025 Trondheim, NorwayCPAchecker 2025 with ISSTA 2025This page will soon grow in content and contain information about the scope of this research track. |
Organizing Committee (CPAchecker 2026)