IMITATOR

Former versions of IMITATOR

Binaries and Sources

Latest binaries have been compiled using KUbuntu 12.10, and should be used on all Linux-like systems. Older binaries have been compiled using older versions of Ubuntu, and can also be executed on all Ubuntu-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 2.9-working (working version) Butter Incaberry - - - GitHub
IMITATOR 2.9 (latest stable version) Butter Incaberry 2234 aa3dd87 23.03.2017 [v2.9.tar.gz] Coming soon [imitator.tar.gz] [PDF]
IMITATOR 2.8 Butter Ham 2005 5c7607c 13.08.2016 [v2.8.tar.gz] Coming soon [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.txt for a full list of changes in each version.

Version Reachability graph Inverse Method Variants of IM Cartography Graphical Output Stopwatches Arbitrary updates Reachability synthesis Correctness patterns Parametric deadlock checking
2.8 Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes
2.7 Yes Yes Yes Yes Yes Yes Yes Yes Yes No
2.6 Yes Yes Yes Yes Yes Yes Yes No Yes No
2.5 Yes Yes Yes Yes Yes Yes Yes No No No
2.4 Yes Yes Yes Yes Yes Yes No No No No
2.3 Yes Yes Yes Yes Yes No No No No No
2.0 to 2.2 Yes Yes No Yes Yes No No No No No
1.x No Yes No No No No No No No No