IMITATOR

Former versions of IMITATOR

Binaries and Sources

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

From 2.7, IMITATOR features distributed capabilities; however, due to compiling issues, the standalone binaries do not include these distributed capabilities.

Version Version name Build Git hash Release date Sources Binary (32 bits) Binary (64 bits) User Manual
IMITATOR 3.0-working (working version) - - - GitHub not available anymore
IMITATOR 3.0 (latest stable version) Cheese ea560fd 2021/01/19 [v3.0.0.tar.gz] not available anymore [imitator-v3.0.0-amd64] [PDF]
IMITATOR 2.12 Butter Lobster 3012 afe5a46 2019/08/22 [v2.12.tar.gz] not available anymore [imitator-v2.12-amd64] [PDF]
IMITATOR 2.11 Butter Kouign-aman 2550 8c484cd 04.03.2019 [v2.11.tar.gz] not available anymore [imitator-v2.11-amd64] [PDF]
IMITATOR 2.10.1 Butter Jellyfish 2409 5eea424 23.02.2018 [v2.10.1.tar.gz] not available anymore [imitator.tar.gz] [PDF]
IMITATOR 2.10 Butter Jellyfish 2403 927951d 21.02.2018 [v2.10.tar.gz] not available anymore [imitator.tar.gz] [PDF]
IMITATOR 2.9.1 Butter Incaberry 2257 5c52978 01.04.2017 [v2.9.1.tar.gz] not available anymore [imitator.tar.gz] [PDF]
IMITATOR 2.9 Butter Incaberry 2234 aa3dd87 23.03.2017 [v2.9.tar.gz] not available anymore [imitator.tar.gz] [PDF]
IMITATOR 2.8 Butter Ham 2005 5c7607c 13.08.2016 [v2.8.tar.gz] not available anymore [imitator.tar.gz] [PDF]
IMITATOR 2.8-beta 1 Butter Ham 1997 fd79584 13.06.2016 [v2.8-beta1.tar.gz] [imitator32.tar.gz] [imitator.tar.gz] [PDF]
IMITATOR 2.7.3 Butter Guéméné 1338 64dd998 28.10.2015 [v2.7.3.tar.gz] [imitator32.tar.gz] [imitator.tar.gz] [PDF]
IMITATOR 2.7.2 Butter Guéméné 1319 954ac00 30.09.2015 [v2.7.2.tar.gz] [imitator32.tar.gz] [imitator.tar.gz] [PDF]
IMITATOR 2.7 Butter Guéméné 1216 dc687ef 22.07.2015 [v2.7.tar.gz] [imitator32.tar.gz] [imitator.tar.gz] [PDF]
IMITATOR 2.6.1 - - - 01.05.2013 [imitator-2.6.1.tar.gz] [imitator-2.6.1-bin32.tar.gz] [imitator-2.6.1-bin64.tar.gz] [PDF]
IMITATOR 2.6.0 - - - 25.02.2013 [imitator-2.6.0.tar.gz] [imitator-2.6.0-bin32.tar.gz] [imitator-2.6.0-bin64.tar.gz] [PDF]
IMITATOR 2.5.0 - - - 21.08.2012 [imitator-2.5.0.tar.gz] [imitator-2.5.0-bin32.tar.gz] [imitator-2.5.0-bin64.tar.gz] [PDF]
IMITATOR 2.4 - - - 20.02.2012 [imitator-2.4.tar.gz] [N/A] [N/A] [N/A]
IMITATOR 2.3 - - - 09.06.2011 [imitator-2.3.tar.gz] [imitator-2.3-bin.tar.gz]* [N/A] [PDF]
IMITATOR 2.2 - - - 30.07.2010 [imitator-2.2.tar.gz] [imitator-2.2-bin.tar.gz]* [N/A] [PDF]
IMITATOR 2.1 - - - 31.05.2010 [N/A] [N/A] [N/A] [N/A]
IMITATOR 2.0 - - - 17.05.2010 [N/A] [N/A] [N/A] [N/A]
IMITATOR 1.3 - - - 2009 [IMITATOR.py] [N/A] [N/A] [N/A]
IMITATOR 1.2 - - - 2008 [N/A] [N/A] [N/A] [N/A]
IMITATOR 1.1 - - - 2008 [N/A] [N/A] [N/A] [N/A]
IMITATOR 1.0 - - - 2008 [N/A] [N/A] [N/A] [N/A]

* These binaries are not standalone; depending on your configuration, you may have to install additional libraries (typically the dependencies required by IMITATOR).

Version History

See RELEASES.md for a full list of changes in each version.

Version State space generation Inverse Method Variants of IM Cartography Graphical Output Stopwatches Arbitrary updates Distributed algorithms Reachability synthesis Property patterns Parametric deadlock checking Cycle synthesis Non-Zeno synthesis Optimal reachability Conditional updates Multi-rate automata
3.0 Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes
2.12 Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes No
2.11 Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes No No
2.10 Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes No No
2.9 Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes No No No
2.8 Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes No No No No No
2.7 Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes No No No No No No
2.6 Yes Yes Yes Yes Yes Yes Yes No Yes No No No No No No No
2.5 Yes Yes Yes Yes Yes Yes Yes No No No No No No No No No
2.4 Yes Yes Yes Yes Yes Yes No No No No No No No No No No
2.3 Yes Yes Yes Yes Yes No No No No No No No No No No No
2.0 to 2.2 Yes Yes No Yes Yes No No No No No No No No No No No
1.x No Yes No No No No No No No No No No No No No No