Antichain-based refinement checking benchmark using the mCRL2 toolset.
收藏数据链接：
官方服务：
资源简介：
A set of benchmarks consisting of mCRL2 specifications that can be compared using the ltscompare tool of the mCRL2 toolset.
提供机构：
Zenodo创建时间：
2019-09-19
社区交流群
科研交流群
商业服务