IMITATOR

Frequently asked questions

Frequently asked questions

Why the name IMITATOR?
IMITATOR is an acronym standing for Inverse Method for Inferring Time AbstracT behaviOR. It was chosen at the time when IMITATOR only implemented the inverse method. The person responsible for this acronym is Laurent Fribourg :-)
Should I write "Imitator" or "IMITATOR"?
The official name is IMITATOR. In LaTeX, please use \textsf{IMITATOR}.
I would like to cite IMITATOR. What is the right publication to cite?
The latest "official" publication describing IMITATOR is the paper [AFKS12] published at Formal Methods 2012 and introducing IMITATOR 2.5 (even though the current version is now 2.9, and benefits from many major improvements since version 2.5). See our publications.
What is the license of IMITATOR?
IMITATOR is distributed under the GNU General Public License. In short, it is free to use (including for commercial purpose), to share, and modify, as long as the modifications are published under the same license.
Where is the user manual?
The latest user manual can be downloaded here. The downloading and installing instructions are available there.
Is there a graphical user interface (GUI)?
IMITATOR does not come natively with a GUI; however, the CosyVerif platform integrates IMITATOR with some features (only one PTA, no stopwatches, not all options).
I have some troubles installing IMITATOR; who can I ask for help?
First carefully read the instructions. If your problem is still unsolved, you can just contact us.
I have some troubles to design a model with IMITATOR; who can I ask for help?
You can just contact us.
What text edition software do you recommend to edit IMITATOR models?
We are not aware of an environment supporting IMITATOR syntax highlighting natively; however, due to the strong similarity between the IMITATOR syntax and the OCaml syntax (at least for the comments style), we recommend (and use ourselves) the editor Kate, customized with the "Objective Caml" highlighting set by default for .imi files. Kate is available by default in KUbuntu, and can be installed very easily in other Linux distributions.
I would like to have a new feature in IMITATOR.
The best is to fill a feature request on GitHub (section Issues, then New Issue). Otherwise, if you do not have a GitHub account, you can just contact us. Of course, you can also implement yourself this feature, and use the pull request on GitHub, after which the development team will integrate your improvement in the main branch of IMITATOR.
I found a bug in IMITATOR. How can I report it to you?
We are very sorry about this. The best is to fill a bug report on GitHub (section Issues, then New Issue). Otherwise, if you do not have a GitHub account, you can just contact us.
What is "Butter Guéméné" or "Butter Ham"?
IMITATOR now has not only a version number (2.8) but also a version name (following the customs of other projects almost as large as IMITATOR, such as Ubuntu or Android). For the version names of IMITATOR, we use the ingredients of the Breton galette; butter and andouille de Guéméné are two common (and tasty!) ingredients.
Where are we going after death?
We built a Minsky machine encoding this problem; we will come back to you as soon as it halts.