Objectives

The name CPAchecker was chosen to reflect that the tool is based on the CPA concepts and is used for checking software programs.

News