Experimental data for Distributed parametric model checking timed automata under non-Zenoness assumption
收藏NIAID Data Ecosystem2026-03-14 收录
数据链接：
官方服务：
资源简介：
This is the experimental data mentioned in the paper "Distributed parametric model checking timed automata under non-Zenoness assumption", published in FMSD (Formal Methods in System Design), 2022. Experiments were conducted using the distributed version of IMITATOR 2.9.2 (Butter Incaberry) on two Intel Xeon Silver 4114 at 2.2GHz (20 cores in total), and 96GiB of memory, running under Ubuntu 16.04 LTS 64-bit.
创建时间：
2022-09-23
