Tau -- a lightweight tool for specifying and verifying tiny automata models

Software OPEN
Holzmann, Gerard;

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 usi... View more
Share - Bookmark