Recent Software from CaltechAUTHORS

• Holzmann, Gerard J. (2019-10-28) Tau -- a lightweight tool for specifying and verifying tiny automata models; Caltech Library