Published April 27, 2021
| Version v1
Dataset
Open
Artifact for paper "IMITATOR 3: Synthesis of timing parameters beyond decidability" (CAV 2021)
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
- Agence Nationale de la Recherche
- ProMiS – Provable Mitigation of Side Channel through Parametric Verification ANR-19-CE25-0015