Replication Package for thesis "Using Correctness Witnesses for the Reverification with k-Induction"

Name: Replication Package for thesis "Using Correctness Witnesses for the Reverification with k-Induction"
Published: 2025-03-05T00:00:00+08:00

NIAID Data Ecosystem2026-05-02 收录

形式化验证

k归纳验证

数据链接：

https://zenodo.org/record/14969018 数据链接链接失效反馈

官方服务：

资源简介：

This artifact enables you to replicate the experiments in the bachelor's thesis "Using Correctness Witnesses for the Raverification with k-Induction"

创建时间：

2025-03-05

Replication Package for thesis "Using Correctness Witnesses for the Reverification with k-Induction"

资源简介：

相关数据集