数据集 - 海数据

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

2026年1月1日 30 25 15

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

智能助手

您好！我是海数据平台的智能助手，有什么可以帮助您的吗？