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


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 containing all necessary instructions
  • a (much) smaller archive containing only the models, the Python script and the instructions

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


Files (3.7 GB)

Name Size Download all
238.3 kB Download
3.7 GB Download

Additional details

Related works

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


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