EE5122 PA2 Part 2: CPAchecker Algorithm Comparison on SV-COMP ReachSafety
收藏DataCite Commons2026-05-03 更新2026-05-07 收录
下载链接：
https://zenodo.org/doi/10.5281/zenodo.20000948
下载链接
链接失效反馈官方服务：
资源简介：
Reproduction artifact for EE5122 Formal Methods PA2 Part 2. Contains BenchExec results for 4 CPAchecker algorithms (predicate abstraction, value analysis, BMC, k-induction) on 5 SV-COMP ReachSafety categories (BitVectors, ControlFlow, Loops, ECA, Sequentialized). 10,328 total verification runs with 300s/2GB resource limits.
提供机构：
Zenodo
创建时间：
2026-05-03
