Evolution of Model Checking into the EDA Industry.

Robert P. Kurshan

Browse the full ATVA paper archive.