Downloading TTool Step 1: License Agreement

Copyright or © or Copr. Institut Mines-Telecom / Telecom Paris, Ludovic Apvrille

Institut Mines-Telecom, Telecom Paris
"Etablissement Public à Caractère Administratif "
SIREN 180 092 025
46 rue Barrault
F-75013 Paris

ludovic.apvrille AT

TTool is a computer program whose purpose is to allow the edition of TURTLE, AVATAR, DIPLODOCUS diagrams, to allow to perform safety, security and performance verification. For safety verification, TTool relies on its own model-cherckers, or may use UPPAAL. For security verifications, TTool relies on ProVerif. For performance evaluation, TTool comes with its own simulation engine.

TTool is a software computer program distributed under two licenses:

  • Source files located in src/myutil/ are distributed by SUN Microsystems under a BSD+ license. The agreement for this license has been approved by Sharon Zakhour, from SUN Microsystems, the 30th of September, 2005. The BSD+ license is provided in the header of the corresponding file. For more information on this license, please, consult the corresponding SUN web site at:

  • Source files located in src/tmltranslator/dsez3engine and in ttool/src/main/test/tmltranslator/dsez3engine are licensed as follows: Copyright or (C) 2017-2020 Nokia, Copyright or (C) GET / ENST, Telecom-Paris, Licensed under the BSD 3 Clause license. SPDX-License-Identifier: BSD-3-Clause

  • Icons located in src/ui/images/toolbarButtonGraphics, are provided by SUN Microsystemes with a BSD+ License. For more information, please, refer to

  • Other parts are governed by the CeCILL  license under French law and abiding by the rules of distribution of free software. You can  use,  modify and/ or redistribute the software under the terms of the CeCILL license as circulated by CEA, CNRS and INRIA at the following URL
  • .

    CeCILL terms are provided in English and in French.

By clicking on the underlying "I agree" button, you agree with all the above licenses mentionned just before.