Experiments regarding the inverse method extended with the integer hull ("RITPS")

Name: Experiments regarding the inverse method extended with the integer hull ("RITPS")
Creator: Zenodo
Published: 2024-09-18T09:39:43+08:00

Zenodo2024-09-18 更新2026-05-26 收录

参数化时间自动机验证

形式化验证

数据链接：

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

官方服务：

资源简介：

This archive contains the benchmarks regarding the evaluation of the inverse method extended with integer hull ("RITPS"): the version of IMITATOR: v3.4.0-alpha2 (Cheese Durian) the source models the script to run all versions of CSMA/CD the expected results (in subdirectory "res")

提供机构：

Zenodo

创建时间：

2024-09-18

Experiments regarding the inverse method extended with the integer hull ("RITPS")

资源简介：

相关数据集