Artifact for 'Unfolding State Variables Improves Model Checking'

Name: Artifact for 'Unfolding State Variables Improves Model Checking'
Creator: Eindhoven University of Technology
Published: 2024-07-10T00:00:00+08:00

Zenodo2024-07-10 更新2026-04-07 收录

模型检测

形式化验证

数据链接：

https://zenodo.org/doi/10.5281/zenodo.12705700 数据链接链接失效反馈

官方服务：

资源简介：

This is a reproduction package for the experiments that were performed as part of the work 'Unfolding State Variables Improves Model Checking'.

提供机构：

Eindhoven University of Technology

创建时间：

2024-07-10

Artifact for 'Unfolding State Variables Improves Model Checking'

资源简介：

相关数据集