Spinroot

spinroot

forum

Registered: 2010-11-18

Posts: 700

Website

A new Design Tool: Tau

There's a new tool for designing simple state transition systems,
that provides a full interface to Spin.  Spin simply runs in the
background, while the user can work with a GUI for specifying
interacting finite state machines. Lots of examples are included
in the distribution.
You can do full LTL verification with the Tau tool, provided that
you have a recent version of Spin installed on your system
(and as usual a C compiler, and the wish tool for Tcl/Tk).
Available under GPL license from Caltech as a teaching tool
from this URL:
http://authors.library.caltech.edu/56038/