Download IMITATOR

Standalone binaries for Linux

IMITATOR relies on several libraries, including the Parma Polyhedra Library, that can be cumbersome to install; hence, unless you want to modify IMITATOR or install it in very specific environments or use its distributed capabilities, we strongly recommend you download one of the standalone binaries. If you prefer to install the source, please read the installation instructions below.

Binaries have been compiled using a recent version of Ubuntu, and should be usable on all Linux-like systems.

Note that, if you are not equipped with a Linux system, you can install one very easily in VirtualBox. We also provide a Docker version (see below).

In case you want to use the graphical output facilities, don’t forget to install dot (from the Graphviz package) and graph (from the plotutils package). This is true even if you download the standalone binaries. Without these utilities, IMITATOR will work normally, but the graphics output may not work.

Version	Version name	Build	Git hash	Release date	Sources	Binary (32 bits)	Binary (64 bits)	User Manual
IMITATOR 3.4-dev (development version)		-	-	-	[GitHub]	not available anymore
IMITATOR 3.4-alpha2 (latest alpha version)	Cheese Durian		26f6f50	2024/09/18	[v3.4.0-alpha2.tar.gz]	not available anymore	[imitator-v3.4.0-alpha2-linux-amd64]	[PDF]
IMITATOR 3.3 (latest stable version)	Cheese Caramel au beurre salé		105408a	2022/07/21	[v3.3.0.tar.gz]	not available anymore	[imitator-v3.3.0-amd64]	[PDF]
see former versions

Quick Start

You can directly download a precompiled image from the GitHub releases page, and run it, for example:

bin/imitator path/to/model.imi path/to/property.imiprop

Building IMITATOR from sources

Alternatively, build IMITATOR locally and run the bundled example model:

git clone https://github.com/imitator-model-checker/imitator.git
cd imitator
.github/scripts/build.sh
bin/imitator path/to/model.imi path/to/property.imiprop

Docker images

You can also build and run IMITATOR with Docker:

docker pull imitator/imitator
docker run --rm -v "$PWD:/workspace" imitator/imitator benchmarks/example.imi

Or build the image locally:

docker build -t imitator .
docker run --rm -v "$PWD:/workspace" imitator benchmarks/example.imi

Using IMITATOR

See the user manual for more information on how to use IMITATOR.

Older versions of IMITATOR

See the former versions for former binaries and sources.

Contact

In case you meet any problem while installing or using IMITATOR, please contact us.