Doctoral Dissertation Award
United States – 2000
CITATION

For his dissertation "Symbolic Model Checking for Large Software Specifications," nominated by the University of Washington, Seattle, Washington.