Quick search
Advanced search in
Field to searchTerm
Add rule
Download Results
1 research outcomes, page 1 of 1
  • software . 2017
    Open Access
    Authors:
    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...

1 research outcomes, page 1 of 1
Last index information