This is the Formal Tropos package of the T-Tool.


BUILD
=====

The source code of this package generates three binaries
 * ft2il
 * ft2smv
 * il2smv
that are necessary to map a Formal Tropos specification
into the SMV input format.

In order to build the binaries run command "make".


LICENSE
=======

T-Tool is free software; you can redistribute it and/or modify it
under the terms of the GNU Lesser General Public License as
published by the Free Software Foundation; either version 2 of the
License, or (at your option) any later version.

T-Tool is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
Lesser General Public License for more details.

You should have received a copy of the GNU Lesser General Public
License along with this library; if not, write to the Free Software
Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.

A copy of the license can be found in file LGPL-2.1.


FURTHER INFORMATION
===================

For more information on the T-Tool see <http://dit.unitn.it/~ft>
or email to <ft@dit.unitn.it>. Please report bugs to <ft@dit.unitn.it>.


