Formal Reasoning in Software-defined Networks. Mark Reitblatt. PhD thesis, Department of Computer Science, Cornell University, Ithaca, NY, August 2015.
[ pdf | slides ]

A System for the Formal Verification of LabVIEW/G Diagrams. Mark Reitblatt. Senior honors thesis, Department of Computer Science, University of Texas at Austin, Austin, TX, July 2009.
[ pdf | slides ]