数据链接：
官方服务：
资源简介：
Challenging programs for modular verification
应用场景：
创建时间：
2021-02-05
相关数据集
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 ca
Zenodo2026-05-03 更新40
Results of the 15th Intl. Competition on Software Verification (SV-COMP 2026) (validation log-files)
SV-COMP 2026 Competition Results This file describes the contents of an archive of the 15th Competition on Software Verification (SV-COMP 2026). https://sv-comp.sosy-lab.org/2026/ This archive cont
Zenodo2026-02-16 更新20
synthetic pseudo-boolean counting instances
Synthetic benchmarks used in paper "Engineering an Exact Pseudo-Boolean Model Counter", available at https://arxiv.org/abs/2312.12341 Benchmarks generated in part with help from Dr. Anna Latour
NIAID Data Ecosystem10
Parity games
A set of parity games for benchmarking purposes. See https://github.com/jkeiren/paritygame-generator Model checking: Parity games encoding model checking problems.Equivalence checking: Parity games en
Figshare2018-03-21 更新30
CoqStoq: A Dataset of Coq Proofs Scraped from GitHub and a Corresponding Benchmark
CoqStoq is a dataset of Coq Proofs scraped from GitHub. CoqStoq contains proofs from 2,205 open source projects and includes a benchmark on proofs from 12 projects. This repository includes the projec
NIAID Data Ecosystem20
