Published February 27, 2017
| Version 0.3
Software
Open
Tau -- a lightweight tool for specifying and verifying tiny automata models
- Creators
- Holzmann, Gerard
Description
Tau is a small Tcl/Tk application that can be used to quickly specify and formally verify small automata models (the name 'tau' is short for 'tiny automata'). It is used as a teaching aid in CS118, a course on the formal verification of asynchronous software systems using logic model checking. Tau requires the availability of a standard C compiler (e.g., gcc) and a recent version of the Spin model checker (e.g., Version 6.4.3 or later) as background tools.
Files
Files
(21.0 kB)
Name | Size | Actions |
---|---|---|
md5:c42bdacee09645730afd97b2f88d6c5b
|
21.0 kB | Download |
Additional details
- CALTECHDATA_ID
- 218
- Available
-
2015-03-24