Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.
Published April 27, 2021 | Version v1
Dataset Open

Artifact for paper "IMITATOR 3: Synthesis of timing parameters beyond decidability" (CAV 2021)

  • 1. LORIA, Université de Lorraine, Inria, CNRS

Description

This is the artifact for the paper "IMITATOR 3: Synthesis of timing parameters beyond decidability" (CAV 2021), allowing reproducibility of all examples of the paper.

This comes in the form of two files:

  • a virtual machine (OS: Linux Mint 20.1 Ulyssa Xfce edition) 64 bits. User: imitator; Password: IMITATOR. This virtual machine contains:
    • the binary of IMITATOR in version 3.0.0
    • the user manual of IMITATOR in version 3.0.0
    • a set of models and properties to reproduce the paper's example analyses
    • a set of additional models and properties
    • a Python script to verify the aforementioned models and properties, and to reproduce automatically the two figures from the paper
    • a file README.md containing all necessary instructions
  • a (much) smaller archive containing only the models, the Python script and the README.md instructions

See further instructions in README.md (present in both aforementioned files).

Files

Files (3.7 GB)

Name Size Download all
md5:61835772ceffa2f79ef081670063ada0
238.3 kB Download
md5:c253b0db40cc523bce576ec081ef7349
3.7 GB Download

Additional details

Related works

Is cited by
Conference paper: 10.1007/978-3-030-81685-8_26 (DOI)

Funding

ProMiS – Provable Mitigation of Side Channel through Parametric Verification ANR-19-CE25-0015
Agence Nationale de la Recherche