Dataset for "Adding the SMT solver OpenSMT2 to the JavaSMT Framework and Evaluation using CPAchecker"

Name: Dataset for "Adding the SMT solver OpenSMT2 to the JavaSMT Framework and Evaluation using CPAchecker"
Creator: Zenodo
Published: 2023-09-13T20:22:11+08:00

Zenodo2023-09-13 更新2026-05-26 收录

数据链接：

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

官方服务：

资源简介：

Benchmark data and code examples for the thesis. See README.md files for the exact locations.

提供机构：

Zenodo

创建时间：

2023-09-13

Dataset for "Adding the SMT solver OpenSMT2 to the JavaSMT Framework and Evaluation using CPAchecker"

资源简介：

相关数据集