EE5122 PA2 Part 2: CPAchecker Algorithm Comparison on SV-COMP ReachSafety
收藏官方服务：
资源简介：
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-04-13
