Experimental Results (CPAChecker)
收藏Figshare2024-03-04 更新2026-04-08 收录
下载链接：
https://figshare.com/articles/dataset/Experiment_Results_CPAChecker_/24785706/5
下载链接
链接失效反馈官方服务：
资源简介：
How to reproduce:download "CPAchecker-2.1-unix" from https://cpachecker.sosy-lab.org/download-oldversions.phpinstall "CPAchecker-2.1-unix" using the documentation (https://cpachecker.sosy-lab.org/doc.php)copy the "CPAchecker-2.1-unix" directory and paste it into both "cpa-results-svcomp" and "cpa-results-embedded" directoriesrun test_cpa*.sh files<br>predicateAnalysis.txt: the results of CPAchecker using the predicate abstraction option.svcomp22.txt: the results of CPAchecker using the svcomp22 option.We tried to use the same options used in SV-COMP 2022 when running with SV-COMP benchmarks.For three embedded software, we used -predicateAnalysis -stats -timelimit '259200s' -heap '80G' -preprocess.
提供机构：
office, sselab
创建时间：
2023-12-11
