The Genesis and Development of Model Checking: Fact vs. Fiction.

Allan Emerson

Browse the full FMCAD paper archive.