CPAchecker入门 安装说明： 开发并提供： 可以在文件夹中找到更多文档。 许可和版权 CPAchecker已根据获得并且由及其他人拥有版权（有关所有贡献者的完整列表，请参见 ）。 第三方库具有其他各种许可和版权，请参见。 lib/java-runtime-licenses.txt提供了概述，目录LICENSES的文件提供了完整的许可证文本。 特别是，MathSAT仅可用于研究和评估目的（请参阅LICENSES/LicenseRef-MathSAT-CPAchecker.txt ），因