Derek Lee Beatty

Thesis Title: A Methodology for Formal Hardware Verification, with Applications to Microprocessors
Degree Type: Ph.D. in Computer Science
Advisor(s): Randal Bryant
Graduated: December 1993