Examples for submission to CONCUR'22
收藏数据链接：
官方服务：
资源简介：
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
