Downloading TTool Step 1: License Agreement



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

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

ludovic.apvrille AT telecom-paristech.fr

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/TableSorter.java 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:
  • http://access1.sun.com/FAQSets/BSD.html

  • Icons located in src/ui/images/toolbarButtonGraphics, are provided by SUN Microsystemes with a BSD+ License. For more information, please, refer to
  • http://java.sun.com/developer/techDocs/hi/repository/

  • 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 http://www.cecill.info
  • .

    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.