Examples for submission to CONCUR'22

Name: Examples for submission to CONCUR'22
Creator: Raskin, Mikhail; Welzel, Christoph; Esparza, Javier
Published: 2022-04-22T00:00:00+08:00

Zenodo2022-04-22 更新2026-04-07 收录

形式化验证

模型检查点

数据链接：

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

官方服务：

资源简介：

These are the examples we discussed in our submission "Regular Model Checking Upside-Down: An Invariant-Based Approach" to CONCUR'22.

提供机构：

Raskin, Mikhail; Welzel, Christoph; Esparza, Javier

创建时间：

2022-04-22

Examples for submission to CONCUR'22

资源简介：

相关数据集