To run TASS, simply execute the script bin/tass.  

+----------------------------------------------------------------------+
|           TASS: Toolkit for Accurate Scientific Software             |
|  version 0.9_r1365 (2010-02-01)        http://vsl.cis.udel.edu/tass  |
+----------------------------------------------------------------------+
Usage: 
            tass verify [options] model.mmp [-np N]
            tass compare [options] spec.mmp [-np N] impl.mmp [-np N]
            tass extract model.mmp [-np N]
Options: 
   -np N                : number of processes [default=1]
   -reduce=std          : no partial order reduction [default]
   -reduce=urgent       : urgent partial order redunction
   -deadlock=absolute   : check for absolute deadlocks only [default]
   -deadlock=potential  : check for potential deadlocks (includes absolute)
   -deadlock=ignore     : ignore all deadlocks
   -verbose             : print detailed model and state information
   -debug               : print debugging information
   -nosimplify          : do not simplify symbolic expressions [default: simplify]
   -buffer=N            : max number buffered messages [default=10]
   -loop                : use method of loop co-invariants [default: off]
   -inputN=V		: replace input variable N with value V

TASS is licensed under the GNU General Public License version 3.  See LICENSE.

TASS utilizes other free software tools, namely GMP, CVC3 and ANTLR.  
These tools are copyrighted by their authors, and used in compliance with 
their licenses.  See LICENSE.GMP, LICENSE.CVC3, and LICENSE.ANTLR, 
respectively.