CPAchecker is a tool for configurable software verification.

For more information on the CPAchecker project, please visit the CPAchecker Project Home Page.