Dataset Open Access

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

Étienne André

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 (3.7 GB)
Name Size
artifact.tar.gz
md5:61835772ceffa2f79ef081670063ada0
238.3 kB Download
IMITATOR artifact.ova
md5:c253b0db40cc523bce576ec081ef7349
3.7 GB Download
11
16
views
downloads
All versions This version
Views 1111
Downloads 1616
Data volume 33.1 GB33.1 GB
Unique views 99
Unique downloads 99

Share

Cite as