<h1>Holzmann, Gerard J.</h1>
<h2>Software from <a href="https://data.caltech.edu">CaltechTHESIS committee</a></h2>
<ul>
<li>Filippidis, Ioannis (2019) <a href="https://resolver.caltech.edu/CaltechTHESIS:07202018-115217471">Decomposing Formal Specifications Into Assume-Guarantee Contracts for Hierarchical System Design</a>; <a href="https://doi.org/10.7907/Z9Q52MTD">10.7907/Z9Q52MTD</a></li>
<li>Livingston, Scott Carlton (2016) <a href="https://resolver.caltech.edu/CaltechTHESIS:12312015-131513787">Incremental Control Synthesis for Robotics in the Presence of Temporal Logic Specifications</a>; <a href="https://doi.org/10.7907/Z94Q7RW3">10.7907/Z94Q7RW3</a></li>
<li>Florian, Mihai (2014) <a href="https://resolver.caltech.edu/CaltechTHESIS:10142013-111401153">Analysis-Aware Design of Embedded Systems Software</a>; <a href="https://doi.org/10.7907/VB1N-Y042">10.7907/VB1N-Y042</a></li>
<li>Xu, Huan (2013) <a href="https://resolver.caltech.edu/CaltechTHESIS:05312013-103940337">Design, Specification, and Synthesis of Aircraft Electric Power Systems Control Logic</a>; <a href="https://doi.org/10.7907/QDJN-BB72">10.7907/QDJN-BB72</a></li>
<li>White, Jerome S. (2011) <a href="https://resolver.caltech.edu/CaltechTHESIS:05312011-123940546">Applying Formal Methods to Distributed Algorithms Using Local-Global Relations  </a>; <a href="https://doi.org/10.7907/8FRW-ZF17">10.7907/8FRW-ZF17</a></li>
<li>Wongpiromsarn, Tichakorn (2010) <a href="https://resolver.caltech.edu/CaltechTHESIS:05272010-153304667">Formal Methods for Design and Verification of Embedded Control Systems: Application to an Autonomous Vehicle</a>; <a href="https://doi.org/10.7907/XZ3X-7V51">10.7907/XZ3X-7V51</a></li>
</ul>