C program verification benchmark
收藏arXiv2019-04-01 更新2024-06-21 收录
下载链接：
https://github.com/cverified/cbench/ https://www.cs.ru.nl/~freek/cbench/
下载链接
链接失效反馈官方服务：
资源简介：
C程序验证基准是一个包含25个C程序的数据集，旨在通过形式化方法评估C程序验证的性能。该数据集可用于系统演示、不同系统间验证努力的比较以及友好的竞争。每个程序都涵盖了从非常小的几行代码到具有合理行为的显著程序的多个变体，反映了实际C编程的特征。
The C Program Verification Benchmark is a dataset consisting of 25 C programs, designed to evaluate the performance of C program verification through formal methods. This dataset can be used for systematic demonstrations, comparisons of verification efforts across different systems, and friendly competitions. Each program includes multiple variants ranging from tiny code snippets of just a few lines to substantial programs with realistic behaviors, which reflect the core characteristics of real-world C programming.
提供机构：
Freek Wiedijk
创建时间：
2019-04-01
