找到1个数据集

标签: 反链精化检查

过滤结果

  • mCRL2_Based_基于反链的精化检查基准测试数据

    2026年1月30日 30 148 75

    数据集概述 本数据集是一套基于反链的精化检查基准测试，包含可通过mCRL2工具集的ltscompare工具进行比较的mCRL2规范。数据集以压缩包形式提供，用于形式化方法领域的模型检测性能评估与工具验证。 文件详解 文件名称：antichain-benchmarks.zip 文件格式：ZIP...
    packageimg