zenodoopen
Experimental data for Distributed parametric model checking timed automata under non-Zenoness assumption
<p>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.</p> <p>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.</p>
ShareScore
40/100
Overall dataset sharing score
Score breakdown
These five areas show where the dataset supports — or may limit — practical reuse.
- Stewardship
- 8
- Harmonization
- 4
- Access
- 16
- Reuse readiness
- 8
- Engagement
- 4