CPAchecker入门 安装说明: 开发并提供: 可以在文件夹中找到更多文档。 许可和版权 CPAchecker已根据获得并且由和其他版权拥有版权(有关所有贡献者的完整列表,请参见 )。 第三方库具有其他各种许可和版权,请参见。 lib/java-runtime-licenses.txt提供了概述,目录LICENSES的文件提供了完整的许可证文本。 特别是,MathSAT仅可用于研究和评估目的(请参阅LICENSES/LicenseRef-MathSAT-CPAchecker.txt ),因此请确保在必要时使用其他SMT求解器。 请注意,尽管GPL程序与CPAchecker一起分发,但C