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.4-working (working version) | - | - | - | GitHub | not available anymore | |||
| 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] | |
| IMITATOR 3.2 | Cheese Blueberries | 76ee91e | 2021/11/03 | [v3.2.0.tar.gz] | not available anymore | [imitator-v3.2.0-amd64] | [PDF] | |
| IMITATOR 3.1 | Cheese Artichoke | ec224ec | 2021/07/20 | [v3.1.0.tar.gz] | not available anymore | [imitator-v3.1.0-amd64] | [PDF] | |
| IMITATOR 3.0 | 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 2.0 | - | - | - | 28.04.2010 | [imitator-2.0.tar.gz] | [imitator-2.0-bin.tar.gz]* | [N/A] | [PDF] |
| 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).
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 |