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

DOI10.5281/zenodo.7096134Zenodo7096134MaRDI QIDQ6705356FDOQ6705356

Dataset published at Zenodo repository.

Jun Sun, Hoang Gia Nguyen, Laure Petrucci, Étienne André

Publication date: 23 September 2022

Copyright license: Creative Commons Attribution 4.0 International

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