Experimental data for Distributed parametric model checking timed automata under non-Zenoness assumption

DOI10.5281/zenodo.7096134Zenodo7096134MaRDI QIDQ6705356

Dataset published at Zenodo repository.

Author name not available (Why is that?)

Publication date: 23 September 2022

Copyright license: No records found.

Description

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.

This page was built for dataset: Experimental data for Distributed parametric model checking timed automata under non-Zenoness assumption