John Oakley Thesis Title: Symbolic Execution of Formal Machine Descriptions Degree Type: Ph.D. in Computer Science Advisor(s): Daniel Siewiorek Graduated: May 1979