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 telecom-paris.fr
TTool is a computer program whose purpose is to allow the editing of TURTLE, AVATAR, and DIPLODOCUS diagrams, and to perform safety, security, and performance verification. For safety verification, TTool relies on its own model-checkers, or may use UPPAAL. For security verification, TTool relies on ProVerif. For performance evaluation, TTool comes with its own simulation engine.
TTool is a software 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, on September 30, 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
- 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 Microsystems 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 mentioned just before.
