找到1个数据集

标签: aut

过滤结果

  • EULYNX_Based_FormaSig项目Point接口mCRL2模型与测试日志数据

    2026年1月13日 30 65 58

    数据集概述 本数据集包含FormaSig项目中EULYNX Point接口的mCRL2模型、μ-演算公式需求文件及测试相关工件，用于支持研究结果的复现。数据涵盖特定点接口和通用PDI接口的模型、对应需求文件、测试模型、状态空间文件、测试日志及模拟器源代码，共20个文件。 文件详解 mCRL2模型文件...
    packageimg