Mailing Lists

We provide mailing lists for different audiences (cpachecker-announce, cpachecker-users, cpachecker-commits, cpachecker-devel). For installation questions, bug reports, and suggestions, please send email to (please subscribe).

The CPAchecker Project uses the following mailing lists:

Note that for bug reports you can also use our issue tracker.


Contact to Maintainers

Dirk Beyer and Philipp Wendler (all developers)