Published September 23, 2022 | Version v1
Dataset Open

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

Authors/Creators

  • 1. Université de Lorraine, CNRS, Inria, LORIA, Nancy, France
  • 2. CEA-List
  • 3. Université Sorbonne Paris Nord, LIPN, CNRS UMR 7030, F-93430, Villetaneuse, France
  • 4. School of Information Systems, Singapore Management University

Contributors

Data collector:

Data manager:

  • 1. Université de Lorraine, CNRS, Inria, LORIA, Nancy, France
  • 2. CEA-List

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.

Files

FMSD22-data.zip

Files (11.8 MB)

Name Size Download all
md5:76aed96fbd88f36d18672f0b2b9fa7bf
11.8 MB Preview Download

Additional details

Identifiers

URL
https://www.imitator.fr/static/FMSD22/

Related works

Has part
Software: https://github.com/imitator-model-checker/imitator/releases/tag/v.2.9.1 (URL)

Funding

Agence Nationale de la Recherche
ProMiS - Provable Mitigation of Side Channel through Parametric Verification ANR-19-CE25-0015
Agence Nationale de la Recherche
PACS - Parametric Analysis of Concurrent Systems ANR-14-CE28-0002