Emerson on the introduction of model checking for hardware and software verification.
E. Allen Emerson, winner of the Association for Computing Machinery's A.M. Turing Award, defines the model checking approach to hardware and software verification and discusses his development of the concept with Edmund Clarke. This clip taken from an interview conducted with Emerson by Thomas Wahl for the ACM on March 4, 2019. Video of the full interview is available as part of Emerson’s ACM profile at https://amturing.acm.org/award_winner....