Case Studies Related to Applying parametric model-checking techniques for reusing real-time critical systems
IMITATOR
The version of IMITATOR used to run the experiments is IMITATOR 2.8 (build 2005; GitHub commit 5c7607c).
Download
- Source code from GitHub
- Binary (Ubuntu-like, Debian-like 64 bits); this binary is standalone and can hence be executed without any external library
Model
Calling IMITATOR
The following command is used:
> ./imitator AVTS_imitator.imi -mode EF -merge -incl -output-result
Roméo
The version of Roméo used to run the experiments is Roméo 3.2.3.
Download
Model
References
Contact
Étienne André
