David Dill

Thesis Title: Trace Theory for Automatic Heirarchical Verification of Speed-independent Circuits
Degree Type: Ph.D. in Computer Science
Advisor(s): Edmund Clarke
Graduated: August 1987