Examples for submission to CONCUR'22
收藏Zenodo2022-04-25 更新2026-05-25 收录
下载链接：
https://zenodo.org/record/6483615
下载链接
链接失效反馈官方服务：
资源简介：
These are the examples we discussed in our submission "Regular Model Checking Upside-Down: An Invariant-Based Approach" to CONCUR'22.
以下为我们向CONCUR'22（2022年国际并发理论会议）提交的论文《正则模型检查逆向实现：一种基于不变式的方法》（"Regular Model Checking Upside-Down: An Invariant-Based Approach"）中所讨论的示例。
提供机构：
Zenodo创建时间：
2022-04-25
