Experimental data for Distributed parametric model checking timed automata under non-Zenoness assumption (Q6705356)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Experimental data for Distributed parametric model checking timed automata under non-Zenoness assumption |
Dataset published at Zenodo repository.
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Experimental data for Distributed parametric model checking timed automata under non-Zenoness assumption |
Dataset published at Zenodo repository. |
Statements
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.
0 references
23 September 2022
0 references
