5:49Emerson on the introduction of model checking for hardware and software verification.Turing Awardee Clips884 viewsView & Download