-
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系统。数据集以压缩包形式提供,无目录结构,总计包含一个文件。 文件详解...
2026年1月1日 30 25 15