Published October 28, 2019
| Submitted
Software
Open
Tau -- a lightweight tool for specifying and verifying tiny automata models
- Creators
- Holzmann, Gerard J.
Abstract
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.
Attached Files
Submitted - tau_v03.tar.gz
Files
Files
(21.0 kB)
Name | Size | Download all |
---|---|---|
md5:c42bdacee09645730afd97b2f88d6c5b
|
21.0 kB | Download |
Additional details
- Eprint ID
- 99504
- Resolver ID
- CaltechAUTHORS:20191028-150942118
- Created
-
2019-10-28Created from EPrint's datestamp field
- Updated
-
2019-10-28Created from EPrint's last_modified field