mCRL2_Based_基于反链的精化检查基准测试数据
收藏海数据2026-05-02 收录
下载链接：
https://haidatas.com/dataset/mcrl2_based_jiyufanliandejinghuajianchajiz_7411760b
下载链接
链接失效反馈官方服务：
资源简介：
本数据集是一套基于反链的精化检查基准测试，包含可通过mCRL2工具集的ltscompare工具进行比较的mCRL2规范。数据集以压缩包形式提供，用于形式化方法领域的模型检测性能评估与工具验证。
提供机构：
公开数据
创建时间：
2026-01-30
