Kenneth McMillan

Thesis Title: Symbolic Model Checking: An approach to the State Explosion Problem
Degree Type: Ph.D. in Computer Science
Advisor(s): Edmund Clarke
Graduated: May 1992