<h1>Recent Software from <a href="https://authors.library.caltech.edu">CaltechAUTHORS</a></h1>
<ul>
<li>Holzmann, Gerard J. (2019-10-28) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20191028-150942118">Tau -- a lightweight tool for specifying and verifying tiny automata models</a>; Caltech Library</li>
</ul>