Documentation

Using CPAchecker

Understanding CPAchecker

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: