Artifact for paper (First Steps towards Deductive Verification of LLVM IR) submitted to FASE '24 conference. For a full description on how to use the artifact, please see the README.md file. The artif

Mendeley Data2024-03-27 更新100

fm-universe/FM-bench-verified

程序验证

规范生成

FM-Bench-Verified数据集是一个包含280个C程序、待验证属性以及相应ACSL规格的手动清理和验证过的基准。该数据集可用于规格生成任务，支持输入程序和待验证属性，输出能够通过验证器的带规格程序。数据集来源于FM-bench、AutoSpec以及多个GitHub仓库，所有案例均可以通过Frama-C的WP验证。

Hugging Face2025-07-11 更新50

Dataset for "Deep Dive into the Verifiability of Code Generated by GitHub Copilot"

代码生成

程序验证

A collection of GitHub-Copilot-generated Python solutions and their translations to Dafny with verification attempts.

Mendeley Data2024-06-29 更新110

SymCC evaluation data

符号执行

编译器

This dataset contains our evaluation results for SymCC.From the paper ( Symbolic execution with SymCC: Don't interpret, compile! , Poeplau and Francillon, USENIX Security 2020): We present SymCC,

DataCite Commons2023-10-09 更新50

Concrete Constraint Guided Symbolic Execution

资源简介：

相关数据集