Experiment Results (CPAChecker)How to run:(1) download CPAchecker-2.1-unix from https://cpachecker.sosy-lab.org/download-oldversions.php(2) install CPAchecker-2.1-unix using the documentation (https://cpachecker.sosy-lab.org/doc.php)(3) copy the CPAchecker-2.1-unix directory into cpa-results-svcomp / cpa-results-embedded directories(4) run test_cpa*.sh files
收藏DataCite Commons2023-12-11 更新2024-08-18 收录
下载链接：
https://figshare.com/articles/dataset/Experiment_Results_CPAChecker_/24785706/3
下载链接
链接失效反馈官方服务：
资源简介：
CPAChecker's experiment results
提供机构：
figshare
创建时间：
2023-12-11
