Acknowledgements

We thank the following people for their help:

Maintainers

Former Maintainers

Developers/Contributors

Former Developers/Contributors

Questions and bug reports:
Beyer, Dirk: CPAchecker-Users@googlegroups.com (cf. doc/Mailing.md)

(Source: https://svn.sosy-lab.org/software/cpachecker/trunk/Authors.md)

The map of contributors shows the location of all current and previous contributors around the world.

Friends of CPAchecker

The following projects use CPAchecker's technology, or perform research on related technology: