Michael Browne

Thesis Title: Automatic Verification of Finite State Machines Using Temporal Logic
Degree Type: Ph.D. in Computer Science
Advisor(s): Edmund Clarke
Graduated: May 1989