Reproduction Package for SAS 2022 Article 'Case Study on Verification-Witness Validators: Where We Are and Where We Go'

Name: Reproduction Package for SAS 2022 Article 'Case Study on Verification-Witness Validators: Where We Are and Where We Go'
Creator: Beyer, Dirk; Strejček, Jan
Published: 2022-01-20T00:00:00+08:00

Zenodo2022-01-20 更新2026-04-07 收录

验证-见证验证器评估

实验结果复现

数据链接：

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

官方服务：

资源简介：

This artifact is a reproduction package for the SAS 2022 article 'Case Study on Verification-Witness Validators: Where We Are and Where We Go'. It contains instructions, data, and scripts for reproducing our results, and the data and tables that we generated in our experiment.

提供机构：

Beyer, Dirk; Strejček, Jan

创建时间：

2022-01-20

Reproduction Package for SAS 2022 Article 'Case Study on Verification-Witness Validators: Where We Are and Where We Go'

资源简介：

相关数据集