Spinroot

A forum for Spin users

You are not logged in.

#1 2015-04-06 02:02:14

spinroot
forum
Registered: 2010-11-18
Posts: 661
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/

Offline

Board footer

Powered by FluxBB