找到2个数据集

标签: 时间自动机

过滤结果

  • IMITATOR_Based扩展参数化时间自动机基准库2_1

    2026年1月29日 30 177 20

    数据集概述 本数据集为IMITATOR基准库2.1，包含扩展参数化时间自动机的基准模型与相关结果。提供两个归档文件，分别存储模型和属性、完整基准及结果（含预期结果、PDF图表、独立网页摘要），支持形式化方法领域的模型验证研究。 文件详解 归档文件1： 文件名称：benchmarks.zip 文件格式：ZIP...
    packageimg

  • IMITATOR_Based_非Zenoness假设下分布式参数模型检查时间自动机实验数据_FMSD22

    2026年1月1日 30 43 10

    数据集概述 本数据集为发表于FMSD 2022的相关论文配套实验数据，记录了基于IMITATOR 2.9.2分布式版本开展的实验结果，实验环境为两台Intel Xeon Silver 4114服务器（共20核、96GiB内存），运行Ubuntu 16.04 LTS系统。数据集以压缩包形式提供，无目录结构，总计包含一个文件。 文件详解...
    packageimg